A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
simgrid.git
2023-03-17
Martin Quinson
Move handle_simcall from ModelChecker to RemoteApp
commit
|
commitdiff
|
tree
|
snapshot
2023-03-17
Martin Quinson
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-17
mlaurent
Add reference to parent state: only use this creation...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-16
Arnaud Giersch
Missing include.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-16
Arnaud Giersch
Decrease required version for nlohmann_json; add to...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-16
Arnaud Giersch
Useless guards.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-16
Arnaud Giersch
Apply "smpi/buffering" when MC_record_replay_is_active...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-15
Martin Quinson
Sanitize how we know the current MC mode
commit
|
commitdiff
|
tree
|
snapshot
2023-03-15
Martin Quinson
Make it compile with all warnings enabled
commit
|
commitdiff
|
tree
|
snapshot
2023-03-15
Martin Quinson
Document a future cleanup to do when we bump cmake...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-14
Arnaud Giersch
Remove comments about non-existent support for smpi...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-14
Arnaud Giersch
Really check the privatization option in the MCed SMPI...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-14
Arnaud Giersch
Inform if JSON lib is found.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-13
Martin Quinson
Test for JSON before using it
commit
|
commitdiff
|
tree
|
snapshot
2023-03-13
Martin Quinson
Cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2023-03-13
Martin Quinson
fix make distcheck
commit
|
commitdiff
|
tree
|
snapshot
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-13
Adrien
Add wfformat json DAG loader and DAG doc
commit
|
commitdiff
|
tree
|
snapshot
2023-03-13
Martin Quinson
Correctly protect tests property settings, bummer
commit
|
commitdiff
|
tree
|
snapshot
2023-03-13
Martin Quinson
Give the remote_process_memory to the mc::State constructor
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Move another function of ModelChecker to RemoteProcessM...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Move another function out of ModelChecker
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Move a function from ModelChecker to Exploration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
move wait_for_requests() from ModelChecker to RemoteApp
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Inline a function in ModelChecker
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Move one method from ModelChecker to Exploration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Move 2 functions from mc::ModelChecker to mc::RemoteApp
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Make the sendsend tests at least fail fast to not hinde...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
Clean leftovers
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
MC: stop reading maxpid in memory, but ask it over...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
One use less of the global mc_model_checker
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Martin Quinson
This seems to reduce the amount of failure, but I don...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-12
Arnaud Giersch
Fix build with -D_GLIBCXX_DEBUG [-Werror=range-loop...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-10
Arnaud Giersch
Fix assert: min and max are both included in interval...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-10
Martin Quinson
Merge branch 'udpor-phase5' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-10
Martin Quinson
Try to avoid a segfault on assert message
commit
|
commitdiff
|
tree
|
snapshot
2023-03-10
Maxwell Pirtle
Add first test for immediate conflicts edge case
commit
|
commitdiff
|
tree
|
snapshot
2023-03-10
Maxwell Pirtle
Add first batch of tests for conflict detection among...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Henri Casanova
re-fixed assert message with up-to-date configuration...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Henri Casanova
Assert message fix
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Maxwell Pirtle
Add implementation for immediate conflicts
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Maxwell Pirtle
Require conflict-freedom in is_valid_configuration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Maxwell Pirtle
Add src/.../udpor/udpor_tests_private.hpp to CMake
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Arnaud Giersch
Eager mode is for the first case only (thx adegomme).
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Maxwell Pirtle
Add test to verify topological ordering of EventSet
commit
|
commitdiff
|
tree
|
snapshot
2023-03-09
Arnaud Giersch
Improve doc for smpi/buffering.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Arnaud Giersch
Fix asserts for when received size is 0 (message type...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Arnaud Giersch
Depreciate unused functions s4u::Comm::copy_{buffer...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Arnaud Giersch
Inline s4u::Comm::copy_pointer_callback which is the...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Maxwell Pirtle
Begin filling in computations of ex(C) and en(C)
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Arnaud Giersch
Depreciate ForcefulKillException::try_n_catch().
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Arnaud Giersch
Obvious typo.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Maxwell Pirtle
Fix logic for mutual conflict between two events
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Maxwell Pirtle
Add conflict-free invariant check to Configuration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Arnaud Giersch
Use #include <...> for foreign header files.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Maxwell Pirtle
Add preliminary tests for checking event conflicts
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Maxwell Pirtle
Add conflict detection to EventSet
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Martin Quinson
Merge branch 'udpor-phase4' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Maxwell Pirtle
Add ability to restrict maximum subset size
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Maxwell Pirtle
Add asserts for Configuration vs EventSet
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Maxwell Pirtle
Allow iteration over maximal subsets of an EventSet
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Maxwell Pirtle
Move topological ordering to EventSet
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Maxwell Pirtle
Rename `EventSet::is_maximal_event_set()`
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Maxwell Pirtle
Add some basic tests for variable_for_loop
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Arnaud Giersch
Fixes in docs/source/tuto_* (untested).
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Write maximal_subsets_iterator_wrapper with xbt utils
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Fix edge cases in variable_for_loop
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Write LazyPowerSet in terms of iterator_wrapper
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Add iterator_wrapping convenience container
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Add first implementation of variable for-loop
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Martin Quinson
Fix clang build and make output more portable/predictible
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Add computation for minimally reproducible sets
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Martin Quinson
sthread: Add a way to verify accesses to non-reentrant...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Martin Quinson
Cosmetics in sthread output when not using SMPI
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Arnaud Giersch
Enable compile optimizations when tests will be run.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Missing ']'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Fix compilation error with clang 11.0.1.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Enable _GLIBCXX_DEBUG for one of the builds.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Sonar smells.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Don't clear flops_amount on ExecImpl::reset.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Quick tests show that currentContainer is always empty...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Arnaud Giersch
Walking the stack in the forward direction gives the...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Arnaud Giersch
Simplify assertions.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
try to use another mattermost action, as the main one...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
[ci-skpi] fix sending of messages, and do parallel...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
assume mmap is not functional for us on macos>=11 as...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
[ci skip] remove spurious line
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
add macos build to github action, untested
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
remove ns3 from ubuntu stable and github actions, as...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Fix a useless change -- and go get some sleep
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Bump cmake to at least 3.12
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
python3-dev is another dependency of the Python bindings
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Reindent -- almost no real change
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Arnaud Giersch
Forgot to add c++17g to the "ignore" list.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
fix MC + gcc builds
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Move the implem of a function out of the header to...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Move the PageStore from ModelChecker to RemoteApp
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Maxwell Pirtle
Correct MANIFEST.in according to `make distcheck`
commit
|
commitdiff
|
tree
|
snapshot
next