Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Ignore empty replay path + hide a global (to avoid init fiasco)
[simgrid.git] / src / mc / api /
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 QuinsonTry to please the ultramodern clang running on FreeBSD... 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 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-26 Martin QuinsonImplement reforks by forking the application, to save... tree | commitdiff
2023-03-25 Martin QuinsonDo not ask for memory info when restarting in refork... 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 Arnaud GierschSimplify member initialization. tree | commitdiff
2023-03-24 Arnaud GierschDetermine n_transitions on receiving side (and remove... tree | commitdiff
2023-03-24 Arnaud GierschThere's no need to compute the total transition count... tree | commitdiff
2023-03-24 Arnaud GierschMerge loops and get rid of the "probes" temporary vector. 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-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-21 mlaurentfix order of execute_next calls 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 mlaurentadd wait guide and mofidication for the heuristic compu... tree | commitdiff
2023-03-19 Martin Quinsoncosmetics tree | commitdiff
2023-03-19 Martin QuinsonMove more of the CheckerSide creation logic to the... tree | commitdiff
2023-03-19 Martin QuinsonMC: disable Address Space Layout Randomization in the... tree | commitdiff
2023-03-19 Martin QuinsonDiffer the creation of the RemoteProcessMemory to when... 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 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 QuinsonFix MC+clang builds tree | commitdiff
2023-03-18 Martin QuinsonMerge branch 'master' into 'master' 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-18 Martin QuinsonMerge CheckerSide::start() intp the constructor tree | commitdiff
2023-03-18 Martin QuinsonBetter split of responsabilities between CheckerSide... tree | commitdiff
2023-03-18 Martin QuinsonMove the checker_side_ from the ModelChecker to the... tree | commitdiff
2023-03-18 mlaurentAdd GuidedState abstract class; move ActorState management tree | commitdiff
2023-03-17 Martin QuinsonA few calls to mc_model_checker less by passing more... tree | commitdiff
2023-03-17 Martin QuinsonMove handle_simcall from ModelChecker to RemoteApp 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-14 Arnaud GierschReally check the privatization option in the MCed SMPI... tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-13 Martin QuinsonGive the remote_process_memory to the mc::State constructor tree | commitdiff
2023-03-12 Martin Quinsonmove wait_for_requests() from ModelChecker to RemoteApp 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 Martin QuinsonMC: stop reading maxpid in memory, but ask it over... tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-08 Arnaud GierschFix asserts for when received size is 0 (message type... tree | commitdiff
2023-03-08 Maxwell PirtleBegin filling in computations of ex(C) and en(C) tree | commitdiff
2023-03-08 Arnaud GierschUse #include <...> for foreign header files. tree | commitdiff
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-03 Martin QuinsonMove the PageStore from ModelChecker to RemoteApp tree | commitdiff
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master' tree | commitdiff
2023-02-27 Maxwell PirtleAdd first steps towards an implementation of ex(C) tree | commitdiff
2023-02-26 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... 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 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 mlaurentfix a few test with dpor tree | commitdiff
2023-02-20 Maxwell PirtleAllow actor transitions to be shared tree | commitdiff
2023-02-20 Maxwell PirtleAdd incomplete implementations of udpor_globals.cpp 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-18 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-02-18 Arnaud GierschVarious cleanups. 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 PirtleReplace pending transition with latest execution 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
next
Clone of SimGrid repository with local patches