2023-11-12 |
Martin Quinson | Add more Mc Mini tests |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Revalidate the tesh files that got invalidated by a... |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Small typos in comments |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Fix tesh autotests after recent change to display the... |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Arnaud Giersch | Update .mailmap. |
commit | commitdiff | tree | snapshot |
2023-11-10 |
mlaurent | Add debug info for reversible race construction |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Fix tesh with new dependencies on Mutex |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Raffine reversible race calculation for MutexWait |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Add a missing independence theorem about Mutex |
commit | commitdiff | tree | snapshot |
2023-11-09 |
Martin Quinson | Cleanup work to make is_race_reversible() a method... |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Fix some tesh after changing dependence relation about... |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Suppressed a bit too much of codes |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Clang format over some mc files |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
commit | commitdiff | tree | snapshot |
2023-11-09 |
mlaurent | Discard the wakeup tree when ODPOR reaches a disabled... |
commit | commitdiff | tree | snapshot |
2023-11-08 |
Martin Quinson | tesh: display the run command ASAP, not after its timeout |
commit | commitdiff | tree | snapshot |
2023-11-08 |
Martin Quinson | Fix the tesh files now that the ODPOR algo was changed... |
commit | commitdiff | tree | snapshot |
2023-11-08 |
Martin Quinson | Spit a message when ODPOR is not optimal |
commit | commitdiff | tree | snapshot |
2023-11-08 |
mlaurent | Redondant line in insertion |
commit | commitdiff | tree | snapshot |
2023-11-08 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
commit | commitdiff | tree | snapshot |
2023-11-08 |
Martin Quinson | Fix ODPOR: overapproximate ReversibleRace (to not miss... |
commit | commitdiff | tree | snapshot |
2023-11-08 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
commit | commitdiff | tree | snapshot |
2023-11-08 |
mlaurent | Add debug log for ODPOR + required explaining comments |
commit | commitdiff | tree | snapshot |
2023-11-08 |
Martin Quinson | Fix SemWai::ReversibleRace() |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Martin Quinson | Simply rewrap comments and reindent, no real change |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Martin Quinson | Add an assert that the checker don't try to exec disabl... |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Martin Quinson | Improve the debug messages |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Martin Quinson | Tell the MC transition about the semaphore capacity... |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Martin Quinson | Make sure that the ID of a semaphore does not change... |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Martin Quinson | cosmetics: this is an ID, not a ptr |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Arnaud Giersch | Try to help gcovr with option --gcov-ignore-errors. |
commit | commitdiff | tree | snapshot |
2023-11-07 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
commit | commitdiff | tree | snapshot |
2023-11-07 |
mlaurent | Add some debug info |
commit | commitdiff | tree | snapshot |
2023-11-07 |
Arnaud Giersch | Use standard __func__ instead of __FUNCTION__. |
commit | commitdiff | tree | snapshot |
2023-11-06 |
Martin Quinson | also remove xbt/automaton which was only useful to... |
commit | commitdiff | tree | snapshot |
2023-11-06 |
Martin Quinson | Change most mcmini tests to odpor reduction; the unchan... |
commit | commitdiff | tree | snapshot |
2023-11-06 |
Martin Quinson | Actions executed by the same actor are always dependent... |
commit | commitdiff | tree | snapshot |
2023-11-06 |
Martin Quinson | ODPOR: more verbose message on assertion failure |
commit | commitdiff | tree | snapshot |
2023-11-06 |
Martin Quinson | This option is used in MC, so it won't go anytime soon |
commit | commitdiff | tree | snapshot |
2023-11-06 |
Martin Quinson | Troubleshooting Homebrew binaries on macOS (Thanks... |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Another attempt to fix the printf issue on mac: don... |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | There is too much boost include to protect, disable... |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Avoid casting errors in printf on MacOSX |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | was for stateful MC, remove this |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Fix gcc builds |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Try to survive to undefined preprocessor symbols |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Try to activate -Wundef on all builds |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Model-checking is robust now that it's stateless MC... |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Restaure INCLUDE(CheckCCompilerFlag) in cmake |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | unify struct and class declarations |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Remove some restrictions on enable_model-checking now... |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Remove the stateful model-checking from the archive... |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
2023-11-05 |
Martin Quinson | Add a cmake option to disable McMini tests, and rename... |
commit | commitdiff | tree | snapshot |
2023-11-04 |
Martin Quinson | Document all commits of this release cycle so far |
commit | commitdiff | tree | snapshot |
2023-11-04 |
Martin Quinson | Ignore McMini tests from sonar analysis |
commit | commitdiff | tree | snapshot |
2023-11-04 |
Augustin Degomme | add some new MPI4 unsupported partitioned communication... |
commit | commitdiff | tree | snapshot |
2023-11-03 |
Martin Quinson | Merge branch 'master' into simgrid-fork-changelog-plugins |
commit | commitdiff | tree | snapshot |
2023-11-03 |
Martin Quinson | Fix an ODR reported by ASan |
commit | commitdiff | tree | snapshot |
2023-11-03 |
Martin Quinson | Merge branch 'memleak-battery' into 'master' |
commit | commitdiff | tree | snapshot |
2023-11-03 |
Adrien Gougeon | fix memleak in battery examples and task-storm |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | tesh: helpful message on syntax error |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Add more tests from McMini |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Adrien Gougeon | missing static keyword |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Adrien Gougeon | improve chiller example. remove on_power_change signal... |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Adrien Gougeon | better comments on examples |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Adrien Gougeon | add comment about chiller/battery plugins. Fix chiller... |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Remove ignored lines from tesh files, uberbumer |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Fix MC builds |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Fix various build errors |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Missing files |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Do not use MC_process_clock_add() for now, as it makes... |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Add an example from the McMini project to test sthread... |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | MC: more debug messages |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | Actions executed by the same actor are always dependent |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | MC: add an observer to sleep simcalls |
commit | commitdiff | tree | snapshot |
2023-11-02 |
Martin Quinson | MC: display the 100 first transitions when we reach... |
commit | commitdiff | tree | snapshot |
2023-11-01 |
Augustin Degomme | Revert "attempt at turning docker build into performanc... |
commit | commitdiff | tree | snapshot |
2023-11-01 |
Augustin Degomme | attempt at turning docker build into performance regres... |
commit | commitdiff | tree | snapshot |
2023-11-01 |
Martin Quinson | Do not remove smpi run dependencies from docker images |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Fred Suter | Document Message Queues (and the change of data structu... |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Fred Suter | more ignorance |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Fred Suter | no need to cast with ActivitySet |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Fred Suter | no need to cast with ActivitySet |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Fred Suter | add MessageQueue to all ActivitySet examples |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Martin Quinson | Fix make distcheck for Fred :) |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Martin Quinson | Merge branch 'mq' into 'master' |
commit | commitdiff | tree | snapshot |
2023-10-30 |
Martin Quinson | Merge branch 'example-battery-chiller-solar' into ... |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Augustin Degomme | second part of bigdft fix |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Augustin Degomme | bigdft - work around issue with ntpoly 3.0.0 |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Augustin Degomme | starpu: oops, uncomment lines [ci-skip] |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Augustin Degomme | starpu: fix url for 1.3 [ci-skip] |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Augustin Degomme | starpu: change URL of tarballs... Nothing new was teste... |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Martin Quinson | Ninja verbose build is not like the Makefile ones |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Martin Quinson | jenkins: use ninja when available as it's a few percent... |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Martin Quinson | Change the way we're inserting elements in this map |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Martin Quinson | tesh: disable the auto-valgrind option in the test... |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Martin Quinson | tesh: rerun the command in valgrind if it segfaults |
commit | commitdiff | tree | snapshot |
2023-10-29 |
Martin Quinson | tesh: report when the command got signaled in addition... |
commit | commitdiff | tree | snapshot |
next |