Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new entry in Release_Notes.
[simgrid.git] / src / mc /
2023-11-21 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-11-21 Martin QuinsonVarious sonar cleanups tree | commitdiff
2023-11-15 Martin QuinsonMerge branch 'battery-get-name' into 'master' tree | commitdiff
2023-11-13 Martin QuinsonMC: move the reversible_race logic to the Transition... tree | commitdiff
2023-11-12 Martin QuinsonSmall typos in comments tree | commitdiff
2023-11-12 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-11-10 mlaurentAdd debug info for reversible race construction tree | commitdiff
2023-11-09 mlaurentRaffine reversible race calculation for MutexWait tree | commitdiff
2023-11-09 mlaurentAdd a missing independence theorem about Mutex tree | commitdiff
2023-11-09 Martin QuinsonCleanup work to make is_race_reversible() a method... tree | commitdiff
2023-11-09 mlaurentSuppressed a bit too much of codes tree | commitdiff
2023-11-09 mlaurentClang format over some mc files tree | commitdiff
2023-11-09 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-09 mlaurentDiscard the wakeup tree when ODPOR reaches a disabled... tree | commitdiff
2023-11-08 Martin QuinsonSpit a message when ODPOR is not optimal tree | commitdiff
2023-11-08 mlaurentRedondant line in insertion tree | commitdiff
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 Martin QuinsonFix ODPOR: overapproximate ReversibleRace (to not miss... tree | commitdiff
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 mlaurentAdd debug log for ODPOR + required explaining comments tree | commitdiff
2023-11-08 Martin QuinsonFix SemWai::ReversibleRace() tree | commitdiff
2023-11-07 Martin QuinsonSimply rewrap comments and reindent, no real change tree | commitdiff
2023-11-07 Martin QuinsonAdd an assert that the checker don't try to exec disabl... tree | commitdiff
2023-11-07 Martin QuinsonImprove the debug messages tree | commitdiff
2023-11-07 Martin QuinsonTell the MC transition about the semaphore capacity... tree | commitdiff
2023-11-07 Martin Quinsoncosmetics: this is an ID, not a ptr tree | commitdiff
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-07 mlaurentAdd some debug info tree | commitdiff
2023-11-06 Martin Quinsonalso remove xbt/automaton which was only useful to... tree | commitdiff
2023-11-06 Martin QuinsonActions executed by the same actor are always dependent... tree | commitdiff
2023-11-06 Martin QuinsonODPOR: more verbose message on assertion failure tree | commitdiff
2023-11-05 Martin QuinsonAnother attempt to fix the printf issue on mac: don... tree | commitdiff
2023-11-05 Martin QuinsonAvoid casting errors in printf on MacOSX tree | commitdiff
2023-11-05 Martin Quinsonunify struct and class declarations tree | commitdiff
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonFix MC builds tree | commitdiff
2023-11-02 Martin QuinsonFix various build errors tree | commitdiff
2023-11-02 Martin QuinsonDo not use MC_process_clock_add() for now, as it makes... tree | commitdiff
2023-11-02 Martin QuinsonMC: more debug messages tree | commitdiff
2023-11-02 Martin QuinsonActions executed by the same actor are always dependent tree | commitdiff
2023-11-02 Martin QuinsonMC: add an observer to sleep simcalls tree | commitdiff
2023-11-02 Martin QuinsonMC: display the 100 first transitions when we reach... tree | commitdiff
2023-10-30 Martin QuinsonMerge branch 'example-battery-chiller-solar' into ... tree | commitdiff
2023-10-24 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-21 Martin QuinsonFix the dependency of barrier from the same actor ... tree | commitdiff
2023-09-13 Martin QuinsonMerge branch 'plugins-energy-battery-interaction' into... tree | commitdiff
2023-07-20 Fred SuterMerge branch 'master' into jbod tree | commitdiff
2023-07-15 Martin QuinsonMerge branch 'fix-comm-signal' into 'master' tree | commitdiff
2023-07-12 Arnaud GierschFix misleading indentation. tree | commitdiff
2023-07-10 Fred SuterMerge remote-tracking branch 'origin/master' into jbod tree | commitdiff
2023-07-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-07-10 Arnaud GierschMissing includes (for gcc-14?) tree | commitdiff
2023-07-10 Arnaud GierschCosmetics (codefactor.io). tree | commitdiff
2023-07-10 Arnaud GierschMake function "const", and void copy by returning a... tree | commitdiff
2023-07-02 Martin QuinsonFix a MC serialization bug around WaitAny tree | commitdiff
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker tree | commitdiff
2023-07-01 Martin QuinsonMore verbose error and debug messages tree | commitdiff
2023-06-29 Martin QuinsonShow the user-level call in MC backtraces tree | commitdiff
2023-06-29 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-06-29 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-29 Arnaud GierschUnused parameters (Sonar). tree | commitdiff
2023-06-29 Arnaud GierschShadowed variables (Sonar). tree | commitdiff
2023-06-29 Arnaud GierschPass large objects by reference to const (Sonar). tree | commitdiff
2023-06-29 Arnaud GierschThe result of "std::move" should not be passed as a... tree | commitdiff
2023-06-28 Arnaud GierschFunctions having rvalue reference arguments should... tree | commitdiff
2023-06-28 Arnaud GierschFix: "std::move" should only be used where moving can... tree | commitdiff
2023-06-28 Arnaud GierschReplace redundant type with "auto" (Sonar). tree | commitdiff
2023-06-28 Arnaud GierschRemove nested code blocks (Sonar). tree | commitdiff
2023-06-28 Arnaud GierschFurther little simplifications around "if" statements. tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
2023-06-28 Martin QuinsonTypo found by lintian tree | commitdiff
2023-06-27 Arnaud GierschUse std::make_unique (Sonar). tree | commitdiff
2023-06-27 Arnaud GierschRespect coding style for boolean operators. tree | commitdiff
2023-06-27 Arnaud GierschUse the init-statement to reduce scope of local variabl... tree | commitdiff
2023-06-27 Arnaud GierschUse std::any_of(...). tree | commitdiff
2023-06-27 Arnaud GierschMisc. Sonar smells. tree | commitdiff
2023-06-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-26 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-06-24 Martin Quinsonsleep sets are not an option in MC. We always need... tree | commitdiff
2023-06-22 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-06-22 Martin Quinsonmodel-check/sleep-set is now true by default tree | commitdiff
2023-06-20 Fred SuterMerge branch 'master' into 'task-token' tree | commitdiff
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master' tree | commitdiff
2023-06-16 Maxwell PirtleFix WakeupTreeIterator bug comparing diff iterators tree | commitdiff
2023-06-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-15 Martin QuinsonFix the liveness tests by ignoring the Comm ID memory... tree | commitdiff
2023-06-15 Martin QuinsonDo not consider the memory addresses in MC depends... tree | commitdiff
2023-06-15 Martin QuinsonMC: Give an ID to comms to not use their pointer value... tree | commitdiff
2023-06-15 Arnaud GierschA few spelling mistakes and many replacements: [Ss... tree | commitdiff
2023-06-15 Arnaud GierschAnother unw_accessor forgotten in previous commit. tree | commitdiff
2023-06-15 Arnaud GierschFix error: missing initializer for member unw_accessors... tree | commitdiff
2023-06-15 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-14 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 Arnaud GierschA few spelling mistakes and many replacements: [Ss... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 Arnaud GierschAnother unw_accessor forgotten in previous commit. tree | commitdiff
2023-06-13 Arnaud GierschFix error: missing initializer for member unw_accessors... tree | commitdiff
next
Clone of SimGrid repository with local patches