| MC - Add a specialization of State to contain Sleep Sets |
|
More...
|
about 1 year ago
|
| MC -State create is now in the reduction algorithms |
|
More...
|
about 1 year ago
|
| Move MC State to prepare for subclasses |
|
More...
|
about 1 year ago
|
| Remove DPOR specific method from DFSexplorer |
|
More...
|
about 1 year ago
|
| Add new entry in Release_Notes. |
|
More...
|
about 1 year ago
|
| Define macro XBT_ATTRIB_DEPRECATED_v340. |
|
More...
|
about 1 year ago
|
| Remove deprecated features for next release (3.36). |
|
More...
|
about 1 year ago
|
| cosmetics: remove oldies from comments |
|
More...
|
about 1 year ago
|
| Kill an external dependency that was for stateful MC |
|
More...
|
about 1 year ago
|
| Post-release cleanups |
|
More...
|
about 1 year ago
|
| Release v3.35 |
|
More...
|
about 1 year ago
|
| More doc for SMPI |
|
More...
|
about 1 year ago
|
| Properly register the waiter in wait_any_for(), so that it gets handled on suspend, failure or anything |
|
More...
|
about 1 year ago
|
| changelog update |
|
More...
|
about 1 year ago
|
| Merge branch 'master' of https://framagit.org/simgrid/simgrid into rewrite_dpor |
|
More...
|
about 1 year ago
|
| Finally a clear implementation of mc reduction algorithms in dfs next is the same but with strategy |
|
More...
|
about 1 year ago
|
| Merge branch 'master' of framagit.org:simgrid/simgrid |
|
More...
|
about 1 year ago
|
| Various sonar cleanups |
|
More...
|
about 1 year ago
|
| Update MANIFEST.in. |
|
More...
|
about 1 year ago
|
| Update python/clusters-multicpu to the new API. |
|
More...
|
about 1 year ago
|
| further improvement to the doxygen doc |
|
More...
|
about 1 year ago
|
| Update XBT_ATTRIB_DEPRECATED_v??? in comments. |
|
More...
|
about 1 year ago
|
| Add SDPOR to the refactoration |
|
More...
|
about 1 year ago
|
| strenghten the behavior of Message queues after some Wrench breaking |
|
More...
|
about 1 year ago
|
| f |
|
More...
|
about 1 year ago
|
| Don't use export_values() in pybind11 enums, as it should |
|
More...
|
about 1 year ago
|
| tiny improvement to find-missing: document missing enumvalues |
|
More...
|
about 1 year ago
|
| Separate DFS from out of order exploration in ModelChecking |
|
More...
|
about 1 year ago
|
| Merge branch 'task-docs' into 'master' |
|
More...
|
about 1 year ago
|
| Fix a bug in concurrent modif of a collection that was revealed by GLIBCXX_DEBUG |
|
More...
|
about 1 year ago
|
