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-phase6' into 'master'
[simgrid.git] / src / mc / explo /
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 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 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-18 mlaurentMove DPOR and sleep set algorithm from backtrack to... tree | commitdiff
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-18 mlaurentReplace todo direct access with consider methods; guide... tree | commitdiff
2023-03-18 mlaurentBasicGuide handle next_transition if asked to tree | commitdiff
2023-03-17 Martin QuinsonA few calls to mc_model_checker less by passing more... tree | commitdiff
2023-03-17 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-17 mlaurentAdd reference to parent state: only use this creation... tree | commitdiff
2023-03-17 Maxwell PirtleFix test in k-partial alternatives step five tree | commitdiff
2023-03-16 Maxwell PirtleRemove unused code in Comb.cpp + fix MANIFEST.in tree | commitdiff
2023-03-16 Maxwell PirtleAdd full example for K-partial alternatives tree | commitdiff
2023-03-15 Martin QuinsonSanitize how we know the current MC mode tree | commitdiff
2023-03-15 Maxwell PirtleMove alternative computation to Configuration for testing tree | commitdiff
2023-03-15 Maxwell PirtleAdd semantic equivalence to UnfoldingEvent tree | commitdiff
2023-03-15 Maxwell PirtleAdd comments in K-partial alternatives computation tree | commitdiff
2023-03-14 Maxwell PirtleAdd first go at implementation of K-partial alternatives tree | commitdiff
2023-03-13 Martin QuinsonCosmetics tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-13 Maxwell PirtleAdd Comb data structure for K-partial alternatives tree | commitdiff
2023-03-13 Maxwell PirtleAdd clean up phase to UDPOR tree | commitdiff
2023-03-13 Martin QuinsonGive the remote_process_memory to the mc::State constructor tree | commitdiff
2023-03-12 Martin QuinsonMove another function out of ModelChecker tree | commitdiff
2023-03-12 Martin QuinsonMove a function from ModelChecker to Exploration tree | commitdiff
2023-03-12 Martin QuinsonMove one method from ModelChecker to Exploration tree | commitdiff
2023-03-12 Martin QuinsonMove 2 functions from mc::ModelChecker to mc::RemoteApp tree | commitdiff
2023-03-12 Martin QuinsonMC: rename remote/RemoteProcess to sosp/RemoteProcessMemory tree | commitdiff
2023-03-12 Arnaud GierschFix build with -D_GLIBCXX_DEBUG [-Werror=range-loop... tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-10 Maxwell PirtleAdd first test for immediate conflicts edge case tree | commitdiff
2023-03-10 Maxwell PirtleAdd first batch of tests for conflict detection among... tree | commitdiff
2023-03-09 Maxwell PirtleAdd implementation for immediate conflicts tree | commitdiff
2023-03-09 Maxwell PirtleRequire conflict-freedom in is_valid_configuration tree | commitdiff
2023-03-09 Maxwell PirtleAdd test to verify topological ordering of EventSet tree | commitdiff
2023-03-08 Maxwell PirtleBegin filling in computations of ex(C) and en(C) tree | commitdiff
2023-03-08 Arnaud GierschObvious typo. tree | commitdiff
2023-03-08 Maxwell PirtleFix logic for mutual conflict between two events tree | commitdiff
2023-03-08 Maxwell PirtleAdd conflict-free invariant check to Configuration tree | commitdiff
2023-03-08 Maxwell PirtleAdd preliminary tests for checking event conflicts tree | commitdiff
2023-03-08 Maxwell PirtleAdd conflict detection to EventSet tree | commitdiff
2023-03-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master' tree | commitdiff
2023-03-07 Maxwell PirtleAdd ability to restrict maximum subset size tree | commitdiff
2023-03-07 Maxwell PirtleAdd asserts for Configuration vs EventSet tree | commitdiff
2023-03-07 Maxwell PirtleAllow iteration over maximal subsets of an EventSet tree | commitdiff
2023-03-07 Maxwell PirtleMove topological ordering to EventSet tree | commitdiff
2023-03-07 Maxwell PirtleRename `EventSet::is_maximal_event_set()` tree | commitdiff
2023-03-06 Maxwell PirtleWrite maximal_subsets_iterator_wrapper with xbt utils tree | commitdiff
2023-03-06 Maxwell PirtleAdd first implementation of variable for-loop tree | commitdiff
2023-03-06 Maxwell PirtleAdd computation for minimally reproducible sets tree | commitdiff
2023-03-05 Arnaud GierschFix compilation error with clang 11.0.1. tree | commitdiff
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-04 Arnaud GierschWalking the stack in the forward direction gives the... tree | commitdiff
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-03 Maxwell PirtleFilter events before performing iteration 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 Maxwell PirtleFix subtle implementation bug with maximal set filtering tree | commitdiff
2023-03-02 Maxwell PirtleAdd working implementation of maximal_subsets_iterator tree | commitdiff
2023-03-02 Maxwell PirtleClean up maximum_subsets_iterator tree | commitdiff
2023-03-02 Maxwell PirtlePass references to `const Unfolding*` in most places tree | commitdiff
2023-03-02 Maxwell PirtleAdd first implementation of maximal_subsets_iterator tree | commitdiff
2023-03-01 Maxwell PirtleUse boost::iterator_facade for History::Iterator 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-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
next
Clone of SimGrid repository with local patches