2023-11-16 |
Augustin Degomme | smpi: fix issue with message IDs. In case of persistent... |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Augustin Degomme | add some new pt2pt tests from mpich |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Martin Quinson | Fix some more doc bugs |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Martin Quinson | Document ActivitySet |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Martin Quinson | Fix some doxygen errors |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Martin Quinson | Deprecate the bindings of a deprecated function |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Martin Quinson | Ease the usage of cmake for SMPI programs |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Martin Quinson | Another attempt at fixing the Flag2 job of jenkins |
commit | commitdiff | tree | snapshot |
2023-11-16 |
Martin Quinson | Jenkins::Flag2: use ninja if avail; verbose builds |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | Give a way to add binaries to the list that shouldn... |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | stop being a stupidly rushing boar (hopefuly) |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | Properly pass the LD_PRELOAD as a setenv command in... |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | tesh: allow variable substitutions in setenv cmds,... |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | Rework the doc of model-check/replay, and add an exampl... |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | cut the backtrace displayed from sthread to the sthread... |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | Various doc improvements |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | Fix Host::execute to use *this as a host location,... |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | typo |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | Merge branch 'battery-get-name' into 'master' |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Adrien Gougeon | add get_name for batteries. update dag_from_json to... |
commit | commitdiff | tree | snapshot |
2023-11-15 |
Martin Quinson | Draft a release |
commit | commitdiff | tree | snapshot |
2023-11-14 |
Martin Quinson | Fix an ODR reported by ASan |
commit | commitdiff | tree | snapshot |
2023-11-14 |
Martin Quinson | Have create_jbod() return a JbodPtr instead of Jbod... |
commit | commitdiff | tree | snapshot |
2023-11-14 |
Martin Quinson | Give a way to C users to not leak activities in activityset |
commit | commitdiff | tree | snapshot |
2023-11-14 |
Martin Quinson | Try to fix a compiler error seen on Flag2 job of jenkins |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | MC: move the reversible_race logic to the Transition... |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Fred Suter | simplify the way Jbods are defined |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | another try at cleanly unlocking the mutexes before... |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Try to fix a failure about mutex freed too early in RMA |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Fix clang builds |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | New method: MutexImpl::is_granted() |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | More forward declarations |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Sanity check that mutex are empty when destroyed |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Check in the right location that a mutex is provided... |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Rename the CondVar observer as it should |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Move the conditionVariable observer to the right file |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Sanity checks about the lock protecting a pthread_cond |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | New function s4u::Mutex::get_owner() |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Template implem of cond_timedwait in sthread |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Martin Quinson | Another easy test from McMini |
commit | commitdiff | tree | snapshot |
2023-11-13 |
Augustin Degomme | hopefully bigdft CI (work around an issue we identified... |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Implement pthread_cond in sthread -- too bad it's TODO... |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Document all changes so far |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Implement pthread_barrier calls in sthread, and test... |
commit | commitdiff | tree | snapshot |
2023-11-12 |
Martin Quinson | Refactorize the sthread interception of functions |
commit | commitdiff | tree | snapshot |
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 |
next |