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-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
2023-03-03
Maxwell Pirtle
Filter events before performing iteration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Move the stats of visited_states count from ModelChecke...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Move the dot_output from ModelChecker to Exploration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
One reference to the global singleton mc_model_checker...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Rename some fields to obey our coding standard
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Allow to call SMPI_app_instance_start() once the simula...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Zero-initialize more messages.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Fix subtle implementation bug with maximal set filtering
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Message is retrieved as an unsigned long (according...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Add working implementation of maximal_subsets_iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Fix a typo found by clang in MC builds
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Clean up maximum_subsets_iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Replace memset(..., 0, ...) with zero-initialization.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Zero-initialize messages (essentially their padding...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Help to identify null values.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Lookup only once in map.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Useless assignments to local variable.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: build out of sources
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Install python deps on GHaction + better documentation...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Pass references to `const Unfolding*` in most places
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Mais quel débile, punaise
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
MC builds have specific dependencies
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Add first implementation of maximal_subsets_iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: ninja is verbose on error anyway
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: use the correct package name
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
gh action: we need 'sudo' here
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: install deps
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: use existing runners
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
messing with git actions
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Fix yaml syntax :(
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Add a github action to test our git on Debian11, regula...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Henri Casanova
Pass on documentation's Design Goals section
commit
|
commitdiff
|
tree
|
snapshot
next