| Don't use uninitialized values, even if we don't care about the actual value |
|
More...
|
5 days ago
|
| Fix make distcheck |
|
More...
|
5 days ago
|
| Missing include on some systems |
|
More...
|
5 days ago
|
| Do not ignore the result of read() as intelCC asserts that we don't |
|
More...
|
5 days ago
|
| Allow to change the parameters of DPU tests on the command line |
|
More...
|
6 days ago
|
| Run clang-format on DPU tests, in a separate commit |
|
More...
|
6 days ago
|
| Add some tests from the DPU project as of commit 5f7ae663e88a42da76fd27bcab6961500679398c |
|
More...
|
6 days ago
|
| Implement a sthread interception for the disk operations |
|
More...
|
9 days ago
|
| Merge branch 'master' of framagit.org:simgrid/simgrid |
|
More...
|
10 days ago
|
| Try to stop the checker at arbitrary depth to do Bounded MC |
|
More...
|
10 days ago
|
| Remove a duplicated instruction that have moved elsewhere |
|
More...
|
10 days ago
|
| Eventually initialize condvar before we try to delete them |
|
More...
|
10 days ago
|
| Getter for the death origin information |
|
More...
|
10 days ago
|
| Use condvar so the model checker can follow |
|
More...
|
10 days ago
|
| Make use of the kill information |
|
More...
|
10 days ago
|
| sthread: let's be more defensive around condvars |
|
More...
|
20 days ago
|
| Reduce the difference between MC/non-MC code paths to simplify testing |
|
More...
|
20 days ago
|
| Fix test case with auto typing that fails on different archi |
|
More...
|
21 days ago
|
| Add a case for GarbageCollect algo with nondeterministic transitions |
|
More...
|
24 days ago
|
| Use our own codes instead of boost for intrusiv ptr |
|
More...
|
24 days ago
|
| Fix a unit test by using Intrusiv ptr instead of raw ones |
|
More...
|
24 days ago
|
| Merge branch 'master' of framagit.org:simgrid/simgrid |
|
More...
|
24 days ago
|
| Use the priority queue instead of a basic one |
|
More...
|
24 days ago
|
| Use leftness approx. to sort state between them |
|
More...
|
24 days ago
|
| Add a sanity check when displaying bugs |
|
More...
|
24 days ago
|
| Allow McSimGrid to run inside McSimGrid |
|
More...
|
24 days ago
|
| Addin some autoformat re-indentations |
|
More...
|
24 days ago
|
| Use atomics to record statistics in parallel |
|
More...
|
24 days ago
|
| Use TransitionPtr (aka boost intrusiv instead of shared_ptr) |
|
More...
|
24 days ago
|
| Initialize this message so valgrind stop complaining |
|
More...
|
24 days ago
|
