Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'udpor-phase2' into 'master'
[simgrid.git] / src / mc /
2023-02-24 Martin QuinsonMerge branch 'udpor-phase2' into 'master' tree | commitdiff
2023-02-24 Maxwell PirtleAdd complicated topological sort test tree | commitdiff
2023-02-24 Maxwell PirtleAdd first unit tests for topological sorting tree | commitdiff
2023-02-24 Maxwell PirtleAdd topological sort of configuration events tree | commitdiff
2023-02-23 Arnaud GierschComment out unused private fields (fix compilation... tree | commitdiff
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master' tree | commitdiff
2023-02-23 Arnaud GierschVarious cleanups. tree | commitdiff
2023-02-22 Maxwell PirtleAdd tests for adding events to configurations tree | commitdiff
2023-02-22 Maxwell PirtleAdd preliminary tests for Configuration tree | commitdiff
2023-02-22 Maxwell PirtleImplement adding events to configurations tree | commitdiff
2023-02-22 Maxwell PirtleAdd extensive tests for checking valid configurations tree | commitdiff
2023-02-21 Maxwell PirtleAdd method to check if an EventSet is a config tree | commitdiff
2023-02-21 Maxwell PirtleAdd first batch of tests for History class tree | commitdiff
2023-02-21 Maxwell PirtleAdd first implementations of History class tree | commitdiff
2023-02-21 Maxwell PirtleIntroduce extrinsic equivalence between events tree | commitdiff
2023-02-21 Maxwell PirtleAdd tests for the Unfolding object tree | commitdiff
2023-02-21 Maxwell PirtleAdd set operator tests for EventSet tree | commitdiff
2023-02-20 Maxwell PirtleAdd tests for EventSet equality tree | commitdiff
2023-02-20 Maxwell PirtleAdd History object skeleton tree | commitdiff
2023-02-20 Maxwell PirtleRemove StateManager tree | commitdiff
2023-02-20 Maxwell PirtleAdd first batch of tests for UDPOR tree | commitdiff
2023-02-20 Maxwell Pirtle"Finalize" interface to UnfoldingEvent tree | commitdiff
2023-02-20 Maxwell PirtleAllow actor transitions to be shared tree | commitdiff
2023-02-20 Maxwell PirtleAdd Unfolding data structure tree | commitdiff
2023-02-20 Maxwell PirtleAdd implementations for EventSet + Configurations tree | commitdiff
2023-02-20 Maxwell PirtleAdd xbt_assert() for state handle overflow tree | commitdiff
2023-02-20 Maxwell PirtleUse std::unordered_set instead of std::set for EventSet tree | commitdiff
2023-02-20 Maxwell PirtleMove UDPOR constructs out of udpor_global.cpp tree | commitdiff
2023-02-20 Maxwell PirtleAdd `udpor` directory under `mc/explo` tree | commitdiff
2023-02-20 Maxwell PirtleRemove currently unused methods from udpor_globals tree | commitdiff
2023-02-20 Maxwell PirtleAdd minor clean ups tree | commitdiff
2023-02-20 Maxwell PirtleAdd implementation for state management tree | commitdiff
2023-02-20 Maxwell PirtleAdd incomplete implementations of udpor_globals.cpp tree | commitdiff
2023-02-20 Maxwell PirtleAdd `udpor` namespace tree | commitdiff
2023-02-20 Maxwell PirtleBegin porting implementation from tiny_simgrid tree | commitdiff
2023-02-20 Maxwell PirtleAdd methods between EventSet and Configuration tree | commitdiff
2023-02-20 Maxwell PirtleConvert EventSet into class from typedef tree | commitdiff
2023-02-20 Arnaud GierschMerge branch 'fix-probe' into 'master' tree | commitdiff
2023-02-20 Maxwell PirtleSend actor action probes one at a time tree | commitdiff
2023-02-19 Martin QuinsonRemove more occurences of 'surf' with uppercases tree | commitdiff
2023-02-18 Martin QuinsonKill src/include tree | commitdiff
2023-02-18 Martin Quinsonreduce the amount of header includes in headers, to... tree | commitdiff
2023-02-18 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-02-18 Arnaud GierschVarious cleanups. tree | commitdiff
2023-02-16 Martin QuinsonMerge branch 'fix-mc-tests' into 'master' tree | commitdiff
2023-02-16 Maxwell PirtleInitialize uninitialized transition for root state tree | commitdiff
2023-02-16 Maxwell PirtleFix root-node edge cases for states tree | commitdiff
2023-02-16 Martin Quinsonfix MC+gcc builds tree | commitdiff
2023-02-16 Martin Quinsonfix the build (but not all tests) of MC tree | commitdiff
2023-02-15 Martin QuinsonMerge branch 'actor-comms' into 'master' tree | commitdiff
2023-02-15 Maxwell PirtleAdd note about resetting `times_considered` tree | commitdiff
2023-02-15 Maxwell PirtleReplace pending transition with latest execution tree | commitdiff
2023-02-13 Maxwell PirtleFinalize passing transitions during model checking tree | commitdiff
2023-02-10 Maxwell PirtleAdd intial steps to transfer transitions to the MC tree | commitdiff
2023-02-09 Martin QuinsonMerge branch 'arm-patch' into 'master' tree | commitdiff
2023-02-09 Maxwell PirtleAdd patch for arm64 Ubuntu 22.04 in UnwindContext tree | commitdiff
2023-02-08 Arnaud GierschCosmetics with spacings around colon (:). tree | commitdiff
2023-02-08 Arnaud GierschDeclare functions with attribute 'noreturn' (sonar). tree | commitdiff
2023-02-06 Arnaud GierschAvoid duplicate declaration. tree | commitdiff
2023-01-24 Arnaud GierschCondition is always false. tree | commitdiff
2023-01-13 Arnaud GierschFix MC+sthread+coverage. tree | commitdiff
2023-01-10 Martin QuinsonStop trying to build on native WIN32, it's broken anyway tree | commitdiff
2023-01-01 Arnaud GierschUpdate copyright lines for 2023. tree | commitdiff
2022-12-16 Arnaud GierschUse std::byte for bye-oriented data manipulation (sonar). tree | commitdiff
2022-12-07 Arnaud GierschKill unimplemented declarations. tree | commitdiff
2022-11-21 Arnaud GierschAddress misc Sonar issues. tree | commitdiff
2022-11-08 Arnaud GierschRemove explicit conversion to std::string when it's... tree | commitdiff
2022-11-07 Arnaud GierschUse boolean value. tree | commitdiff
2022-11-06 Martin Quinsonsetter function only need a simcall in MC or with paral... tree | commitdiff
2022-11-05 Martin QuinsonAllow the MC replay to use the 'zero' buffering tree | commitdiff
2022-11-04 Martin QuinsonReduce the amount of header files loading xbt/string.hpp tree | commitdiff
2022-11-04 Martin QuinsonKill the now useless type xbt::string tree | commitdiff
2022-11-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-11-01 Martin QuinsonMC: display the status of all actors in case of deadlock tree | commitdiff
2022-11-01 Martin QuinsonMC: tell the user about how to use the replay path... tree | commitdiff
2022-11-01 Martin QuinsonDisplay the stack of each actor during a MC replay... tree | commitdiff
2022-11-01 Fred SuterMerge branch 'fluidio' into 'master' tree | commitdiff
2022-10-31 Martin QuinsonMC replay: check whether there is a deadlock after... tree | commitdiff
2022-10-31 Martin QuinsonAlign the behavior of MC and MC_replay in SMPI, so... tree | commitdiff
2022-10-31 Martin QuinsonBe more verbose on the blocking transition when display... tree | commitdiff
2022-10-30 Martin QuinsonMC_replay: Ensure that times_considered is always set tree | commitdiff
2022-10-27 Arnaud GierschFix infinite recursion. tree | commitdiff
2022-10-27 Arnaud GierschUse true/false for boolean variable (Sonar). tree | commitdiff
2022-10-21 Martin Quinsonfix the parameter of a strncpy call tree | commitdiff
2022-10-17 Martin QuinsonFix non-MC builds that don't have libevent-dev installed tree | commitdiff
2022-10-16 Martin QuinsonKill redundent sanity checks tree | commitdiff
2022-10-16 Martin QuinsonDon't include simgrid/config.h from simgrid/modelchecke... tree | commitdiff
2022-10-16 Martin QuinsonRename the transitions so that asynchronous ones clearl... tree | commitdiff
2022-10-16 Martin QuinsonImplement pthread_join in MC mode for sthread tree | commitdiff
2022-10-14 Arnaud GierschRestore the previous observable behavior. tree | commitdiff
2022-10-14 Arnaud GierschFix crash with debug logs. tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-10-03 Martin QuinsonFix an error message tree | commitdiff
2022-10-02 Martin QuinsonMore helpful error message when someone needs --cfg... tree | commitdiff
2022-09-21 Arnaud GierschKill obsolete FIXME. tree | commitdiff
2022-08-26 Arnaud GierschType consistency. tree | commitdiff
2022-08-26 Arnaud GierschAttribute "printf" for ModelChecker::dot_output. tree | commitdiff
2022-08-26 Arnaud GierschUse "std::vector" instead of C-style array (sonar). tree | commitdiff
2022-08-26 Arnaud GierschAvoid to send/receive zero-size messages. tree | commitdiff
2022-08-25 Arnaud GierschMisc cosmetics for sonar. tree | commitdiff
next
Clone of SimGrid repository with local patches