| unify struct and class declarations |
|
More...
|
about 1 year ago
|
| Remove some restrictions on enable_model-checking now that it's only for the stateless MC |
|
More...
|
about 1 year ago
|
| Remove the stateful model-checking from the archive. It's not working anymore |
|
More...
|
about 1 year ago
|
| Merge branch 'master' of framagit.org:simgrid/simgrid |
|
More...
|
about 1 year ago
|
| Add a cmake option to disable McMini tests, and rename some existing ones |
|
More...
|
about 1 year ago
|
| Document all commits of this release cycle so far |
|
More...
|
about 1 year ago
|
| Ignore McMini tests from sonar analysis |
|
More...
|
about 1 year ago
|
| add some new MPI4 unsupported partitioned communication functions. May not be hard to implement at some point |
|
More...
|
about 1 year ago
|
| Merge branch 'master' into simgrid-fork-changelog-plugins |
|
More...
|
about 1 year ago
|
| Merge branch 'memleak-battery' into 'master' |
|
More...
|
about 1 year ago
|
| fix memleak in battery examples and task-storm |
|
More...
|
about 1 year ago
|
| Fix an ODR reported by ASan |
|
More...
|
about 1 year ago
|
| tesh: helpful message on syntax error |
|
More...
|
about 1 year ago
|
| Add more tests from McMini |
|
More...
|
about 1 year ago
|
| missing static keyword |
|
More...
|
about 1 year ago
|
| improve chiller example. remove on_power_change signal. add get_time_to_goal_temp |
|
More...
|
about 1 year ago
|
| better comments on examples |
|
More...
|
about 1 year ago
|
| add comment about chiller/battery plugins. Fix chiller doc not showing |
|
More...
|
about 1 year ago
|
| Remove ignored lines from tesh files, uberbumer |
|
More...
|
about 1 year ago
|
| Fix MC builds |
|
More...
|
about 1 year ago
|
| Fix various build errors |
|
More...
|
about 1 year ago
|
| Missing files |
|
More...
|
about 1 year ago
|
| Do not use MC_process_clock_add() for now, as it makes the exploration infinitely looping |
|
More...
|
about 1 year ago
|
| Add an example from the McMini project to test sthread -- currently broken |
|
More...
|
about 1 year ago
|
| MC: more debug messages |
|
More...
|
about 1 year ago
|
| Actions executed by the same actor are always dependent |
|
More...
|
about 1 year ago
|
| MC: add an observer to sleep simcalls |
|
More...
|
about 1 year ago
|
| MC: display the 100 first transitions when we reach the depth-limit |
|
More...
|
about 1 year ago
|
| Revert "attempt at turning docker build into performance regression test" |
|
More...
|
about 1 year ago
|
| attempt at turning docker build into performance regression test |
|
More...
|
about 1 year ago
|
