| Merge branch 'master' of https://framagit.org/simgrid/simgrid |
|
More...
|
almost 2 years ago
|
| fix with full compiler warnings |
|
More...
|
almost 2 years ago
|
| Allow precision/bmf as a synonym to bmf/precision |
|
More...
|
almost 2 years ago
|
| Rename option maxmin/precision to precision/work-amount for clarity |
|
More...
|
almost 2 years ago
|
| Rename option "surf/precision" to "precision/timing" for clarity. |
|
More...
|
almost 2 years ago
|
| Rename sg_surf_precision to sg_precision_timing for clarity |
|
More...
|
almost 2 years ago
|
| Use surf_precision as a value for PMPI_Wtick |
|
More...
|
almost 2 years ago
|
| Merge branch 'fix-mc-tests' into 'master' |
|
More...
|
almost 2 years ago
|
| doc: add a little graph about the host energy plugin |
|
More...
|
almost 2 years ago
|
| Initialize uninitialized transition for root state |
|
More...
|
almost 2 years ago
|
| Fix root-node edge cases for states |
|
More...
|
almost 2 years ago
|
| Merge branch 'master' of https://framagit.org/simgrid/simgrid |
|
More...
|
almost 2 years ago
|
| fix MC+gcc builds |
|
More...
|
almost 2 years ago
|
| CI: build the model-checker on framagit, to test the MRs |
|
More...
|
almost 2 years ago
|
| Add Unfolding data structure |
|
More...
|
almost 2 years ago
|
| Add implementations for EventSet + Configurations |
|
More...
|
almost 2 years ago
|
| Merge branch 'master' of https://framagit.org/simgrid/simgrid |
|
More...
|
almost 2 years ago
|
| fix the build (but not all tests) of MC |
|
More...
|
almost 2 years ago
|
| Add xbt_assert() for state handle overflow |
|
More...
|
almost 2 years ago
|
| Merge branch 'actor-comms' into 'master' |
|
More...
|
almost 2 years ago
|
| properly deal with network/optim (end of the ModuleGroup cleanup) |
|
More...
|
almost 2 years ago
|
| Kill a now useless file |
|
More...
|
almost 2 years ago
|
| Cosmetics around the creation of the VM model |
|
More...
|
almost 2 years ago
|
| Further factorization: introduce ModuleGroup::init_from_flag_value() |
|
More...
|
almost 2 years ago
|
| 15 years later, I finally managed to kill host/model:compound |
|
More...
|
almost 2 years ago
|
| Objectif the disk model |
|
More...
|
almost 2 years ago
|
| There is no way these names are empty, bc we give a default value |
|
More...
|
almost 2 years ago
|
| Objectifies the host models |
|
More...
|
almost 2 years ago
|
| factorize the flags of models and plugins |
|
More...
|
almost 2 years ago
|
| docs: fix a sphinx formatting error |
|
More...
|
almost 2 years ago
|
