Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify assertions.
[simgrid.git] / src / mc /
2023-03-03 Martin QuinsonFix a useless change -- and go get some sleep tree | commitdiff
2023-03-03 Martin QuinsonReindent -- almost no real change tree | commitdiff
2023-03-03 Martin Quinsonfix MC + gcc builds tree | commitdiff
2023-03-03 Martin QuinsonMove the PageStore from ModelChecker to RemoteApp tree | commitdiff
2023-03-02 Martin QuinsonMove the stats of visited_states count from ModelChecke... tree | commitdiff
2023-03-02 Martin QuinsonMove the dot_output from ModelChecker to Exploration tree | commitdiff
2023-03-02 Martin QuinsonOne reference to the global singleton mc_model_checker... tree | commitdiff
2023-03-02 Martin QuinsonRename some fields to obey our coding standard tree | commitdiff
2023-03-02 Arnaud GierschZero-initialize more messages. tree | commitdiff
2023-03-02 Arnaud GierschMessage is retrieved as an unsigned long (according... tree | commitdiff
2023-03-02 Arnaud GierschReplace memset(..., 0, ...) with zero-initialization. tree | commitdiff
2023-03-02 Arnaud GierschZero-initialize messages (essentially their padding... tree | commitdiff
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master' tree | commitdiff
2023-02-28 Maxwell PirtleRemove CompatibilityGraph and friends tree | commitdiff
2023-02-27 Maxwell PirtleAdd iterator files to xbt/utils tree | commitdiff
2023-02-27 Maxwell PirtleFix most of the remaining code warnings tree | commitdiff
2023-02-27 Maxwell PirtleAdd default method for constructing full graph tree | commitdiff
2023-02-27 Maxwell PirtleAdd predicate filtering to compatibility graph comp tree | commitdiff
2023-02-27 Maxwell PirtleFix most cosmetics and code warnings tree | commitdiff
2023-02-27 Maxwell PirtleCreate a private struct to hold search data tree | commitdiff
2023-02-27 Maxwell PirtleAdd first go at compatibility graph construction tree | commitdiff
2023-02-27 Maxwell PirtleAdd first steps towards an implementation of ex(C) tree | commitdiff
2023-02-27 Maxwell PirtleAdd CompatibilityGraph and CompatibilityGraphNode tree | commitdiff
2023-02-26 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-02-24 Martin QuinsonMerge branch 'udpor-phase2' into 'master' tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-24 mlaurentfix the done marking of multiple times taken transitions 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 mlaurenttransitions in the same actor are dependent tree | commitdiff
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 mlaurentfix a few test with dpor 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 mlaurentMerge branch 'master' of https://framagit.org/simgrid... 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-17 mlaurentDefault is not to use sleep-set to agree with existing... tree | commitdiff
2023-02-17 mlaurentmatch previous merge updates tree | commitdiff
2023-02-17 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-17 mlaurentfix with full compiler warnings 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 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-16 Martin Quinsonfix MC+gcc builds tree | commitdiff
2023-02-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... 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 mlaurentupdated doc tree | commitdiff
2023-02-15 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-15 mlaurentadding documentation 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-14 mlaurentadding option for sleep set tree | commitdiff
2023-02-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-13 mlaurentadding sleep sets to reduction techniques tree | commitdiff
2023-02-13 Maxwell PirtleFinalize passing transitions during model checking tree | commitdiff
2023-02-10 mlaurentFix for MC DPOR algorithm 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
next
Clone of SimGrid repository with local patches