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 more documentation to essential SDPOR methods
[simgrid.git] / src / mc / explo /
2023-05-12 Maxwell PirtleAdd more documentation to essential SDPOR methods tree | commitdiff
2023-05-12 Maxwell PirtleFix subtlety with SDPOR/ODPOR initials tree | commitdiff
2023-05-12 Maxwell PirtleFix two off-by-one errors with clock vectors tree | commitdiff
2023-05-12 Maxwell PirtlePrevent adding outgoing transition for top-most state tree | commitdiff
2023-05-12 Maxwell PirtleAdd workaround for subtlety with state regeneration tree | commitdiff
2023-05-12 Maxwell PirtleAdd first tests for "happens-before" tree | commitdiff
2023-05-12 Maxwell PirtleMove SDPOR core computation into a method tree | commitdiff
2023-05-12 Maxwell PirtleAdd tentatively-working SDPOR implementation tree | commitdiff
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation tree | commitdiff
2023-05-12 Maxwell PirtleAdd Execution concept without ExecutionViews tree | commitdiff
2023-05-12 Maxwell PirtleRemove sdpor folder in favor of odpor only tree | commitdiff
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-05-10 Martin QuinsonDFS MC: Restore from system states even if we have... tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'dag-lab' into 'master' tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'changelog-operation-plugin' into 'master' tree | commitdiff
2023-05-09 Arnaud GierschUse forwarding references with std::forward (sonar). tree | commitdiff
2023-05-09 Arnaud GierschUse a std::vector as an underlying container for backtr... tree | commitdiff
2023-05-03 Martin QuinsonOne use less of get_recipe() that will soon die tree | commitdiff
2023-05-03 Martin QuinsonFactorize more code between DFSExplo and LivenessExplo... tree | commitdiff
2023-05-02 Arnaud GierschDefine each identifier in a dedicated statement (sonar). tree | commitdiff
2023-04-27 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-04-27 Martin QuinsonMore automatic memory mgmt in MC tree | commitdiff
2023-04-27 Martin QuinsonMC: give each state an incoming transition too tree | commitdiff
2023-04-27 Arnaud GierschFix comment. tree | commitdiff
2023-04-27 Arnaud GierschThere is no need to declare the default constructors... tree | commitdiff
2023-04-27 Arnaud GierschFix build error: exception specification of explicitly tree | commitdiff
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-17 Martin Quinsonsonar fixes tree | commitdiff
2023-04-15 Martin QuinsonMake sure that we never have a 0 transition at the... tree | commitdiff
2023-04-12 Arnaud GierschInline Exploration::system_error. tree | commitdiff
2023-04-12 Arnaud GierschRemove useless specialized exceptions from simgrid... tree | commitdiff
2023-04-12 Arnaud GierschUse an exception on Exploration::system_exit(). tree | commitdiff
2023-04-12 Arnaud GierschSonar... tree | commitdiff
2023-04-06 Maxwell PirtleRename `remove()` method on `Unfolding` tree | commitdiff
2023-04-06 Maxwell PirtleMake use of the sets `G` and `U` with `Unfolding` tree | commitdiff
2023-04-06 Maxwell PirtleFix bug with immediate conflict detection tree | commitdiff
2023-04-05 Arnaud GierschExamine all opened_states_ to find the best candidate. tree | commitdiff
2023-04-05 Arnaud GierschCentralize definitions for the name of environment... tree | commitdiff
2023-04-05 Arnaud GierschSonar smells; remove redundant mentions of std::shared_... tree | commitdiff
2023-04-05 Maxwell PirtleFix conflict detection between configs + history tree | commitdiff
2023-04-05 Maxwell PirtleFix dynamic_cast<> typo for computation for CommRecv tree | commitdiff
2023-04-05 Maxwell PirtleClarify that the issuer for a CommWait() action is... tree | commitdiff
2023-04-05 Maxwell PirtleAdd first round of debug logging to UDPOR tree | commitdiff
2023-04-05 Maxwell PirtleIntermediate commit to prove that UDPOR functions tree | commitdiff
2023-04-05 Maxwell PirtleFill in implementation of CommWait before large changes tree | commitdiff
2023-04-05 Maxwell PirtleAdd extension set computations without type casts tree | commitdiff
2023-04-05 Maxwell PirtleAdd first steps for ex(C) for CommWait tree | commitdiff
2023-04-05 Maxwell PirtleMove state stack management to member on UnfoldingChecker tree | commitdiff
2023-04-05 Maxwell PirtleAdd comment on state restoration in UnfoldingChecker tree | commitdiff
2023-04-05 Maxwell PirtleTrack the current sequence of states with UDPOR tree | commitdiff
2023-04-05 Maxwell PirtleReplace switch statement with map of handlers tree | commitdiff
2023-04-05 Maxwell PirtleAdd skeleton implementation for ex(C) for CommSend tree | commitdiff
2023-04-05 Maxwell PirtleAdd skeleton implementations to ExtensionSetCalculator tree | commitdiff
2023-04-05 Maxwell PirtleAdd ExtensionSetCalculator files tree | commitdiff
2023-04-05 Maxwell PirtleAdd test case for tracking latest events/transitions tree | commitdiff
2023-04-05 Maxwell PirtleAdd dependency between same actor for tests tree | commitdiff
2023-04-05 Maxwell PirtleBegin tracking latest events for each actor tree | commitdiff
2023-04-05 Martin QuinsonMake strsignal(SIGSEGV) return the same string across... tree | commitdiff
2023-04-04 Arnaud GierschUse a multiset to handle opened states, and ensures... tree | commitdiff
2023-04-01 Martin QuinsonIgnore empty replay path + hide a global (to avoid... tree | commitdiff
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... tree | commitdiff
2023-03-31 Martin QuinsonFix non-MC builds when MC-only dependencies are missing tree | commitdiff
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa... tree | commitdiff
2023-03-30 mlaurentReplace state copy with recipe: list of transition... tree | commitdiff
2023-03-28 mlaurentChange opened states for a priority queue tree | commitdiff
2023-03-27 mlaurentAbide by both compiler warnings tree | commitdiff
2023-03-27 mlaurentNow handle random transition and multiple times transitions tree | commitdiff
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-24 Martin QuinsonUse a portable name for SIGABRT tree | commitdiff
2023-03-24 Martin QuinsonMC: disable personality() as it fails on CI and is... tree | commitdiff
2023-03-24 Martin QuinsonFix the refork feature by not ptracing App so that... tree | commitdiff
2023-03-24 Arnaud GierschDelete redundant blank lines at the start of a code... tree | commitdiff
2023-03-24 mlaurentAdd copy constructor to state, so we can backtrack... tree | commitdiff
2023-03-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-23 mlaurenttry to fix stack handling tree | commitdiff
2023-03-22 Martin QuinsonFix some easy sonar smells tree | commitdiff
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-21 Martin QuinsonMake sure that the dtor of CheckerSide actually kills... tree | commitdiff
2023-03-20 Martin QuinsonDo not initialize the App's memory introspection if... tree | commitdiff
2023-03-20 Martin QuinsonPut everything in position to re-fork the verified App tree | commitdiff
2023-03-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-20 Maxwell PirtleAddress minor comments in MR review tree | commitdiff
2023-03-20 Maxwell PirtleRemove empty Comb.cpp tree | commitdiff
2023-03-20 Maxwell PirtleAdd documentation for Comb data structure tree | commitdiff
2023-03-19 Martin QuinsonBetter responsabilities splitup between CheckerSide... tree | commitdiff
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class tree | commitdiff
2023-03-19 Martin QuinsonMove the memory handling of RemoteProcessMemory singlet... tree | commitdiff
2023-03-19 Martin QuinsonMake a global singleton of Exploration, to kill ModelCh... tree | commitdiff
2023-03-19 Martin QuinsonAnother use of mc_model_checker disapears. In Snapshot... tree | commitdiff
2023-03-19 Martin Quinsonanother mc_model_checker call location disappears tree | commitdiff
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-18 mlaurentBases for wait distance guide tree | commitdiff
2023-03-18 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-18 mlaurentMove DPOR and sleep set algorithm from backtrack to... tree | commitdiff
next
Clone of SimGrid repository with local patches