Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'odpor-implementation' into 'master'
[simgrid.git] / src / mc / api /
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master'
2023-06-01 Maxwell PirtleIntroduce ODPOR integration with multiple actions
2023-06-01 Martin QuinsonMerge branch 'python-repr' into 'master'
2023-06-01 Arnaud GierschAdd missing includes.
2023-06-01 Arnaud GierschCorrect signature for deleted constructor.
2023-05-30 Maxwell PirtleFix subtle bug in ~_E computation
2023-05-26 Maxwell PirtleFix subtle bug in Execution regeneration in DFSExplorer
2023-05-25 Maxwell PirtleKeep pointers to transitions instead of slices
2023-05-25 Maxwell PirtleFix two minor bugs in the ODPOR implementation
2023-05-23 Maxwell PirtleAdd first round of execution independence tests
2023-05-17 Maxwell PirtleAdd first "working" version of ODPOR
2023-05-16 Maxwell PirtleAdd explicit ODPOR clean-up phase to DFSExplorer
2023-05-16 Maxwell PirtleAdd ODPOR "backtracking" logic
2023-05-16 Maxwell PirtleAdd ODPOR extension computation (lines 4-6)
2023-05-16 Maxwell PirtleAdd ODPOR race detection phase rough-draft
2023-05-16 Maxwell PirtleAdd boolean check for wakeup tree initialization
2023-05-16 Maxwell PirtleAutomatically remove nodes from parents
2023-05-16 Maxwell PirtleAdd tree pruning/subtree methods to State
2023-05-16 Maxwell PirtleAdd skeleton for expansion phase of ODPOR
2023-05-15 Arnaud GierschSuprious brace (fix non-linux builds).
2023-05-15 Arnaud GierschDefine master_socket_name only once, and embed it with...
2023-05-15 Arnaud GierschTry harder not to fail with stale sockets after several...
2023-05-15 Arnaud GierschThe default destructor should be fine.
2023-05-15 Maxwell PirtleAdd more documentation to ClockVector/Execution
2023-05-15 Maxwell PirtleAdd unit tests for ClockVector
2023-05-12 Maxwell PirtleMove SDPOR core computation into a method
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions
2023-05-12 Maxwell PirtleAdd class for eventual "happens-before" computations
2023-05-10 Martin QuinsonMC: Kill the now useless code State::get_recipe
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-05-10 Martin QuinsonMerge branch 'dag-lab' into 'master'
2023-05-10 Martin QuinsonMerge branch 'changelog-operation-plugin' into 'master'
2023-05-05 Arnaud GierschMisc Sonar issues.
2023-04-27 Martin QuinsonLazily compute the recipe of a state, on need only
2023-04-27 Martin QuinsonMore automatic memory mgmt in MC
2023-04-27 Martin QuinsonMC: give each state an incoming transition too
2023-04-27 Martin QuinsonFix comment [no-ci]
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master'
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master'
2023-04-15 Martin QuinsonMake sure that we never have a 0 transition at the...
2023-04-15 Martin QuinsonAlso send the disabled transitions over: UDPOR needs it
2023-04-14 Martin QuinsonMore defensive programing style
2023-04-12 Arnaud GierschRemove useless specialized exceptions from simgrid...
2023-04-12 Arnaud GierschSonar...
2023-04-11 Arnaud GierschAssignment operators should return non-"const" referenc...
2023-04-11 Arnaud GierschMark functions as "const" (sonar).
2023-04-11 Arnaud GierschUse std::string (sonar).
2023-04-11 Arnaud GierschReduce scope for variables (sonar).
2023-04-11 Arnaud GierschPointer and reference should be "const" if the correspo...
2023-04-11 Arnaud GierschWhitespace cleanup (codefactor.io).
2023-04-05 Maxwell PirtleIntermediate commit to prove that UDPOR functions
2023-04-04 Martin QuinsonUse the fast SOCK_SEQPACKET where available
2023-04-04 Martin QuinsonMake the MC protocol work on top of STREAM sockets
2023-04-04 Arnaud GierschAn integer seems good enough to handle priorities,...
2023-04-02 Martin QuinsonDon't use CLOEXEC
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
2023-03-31 Martin QuinsonFix non-MC builds when MC-only dependencies are missing
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too
2023-03-31 Martin QuinsonTry to please the ultramodern clang running on FreeBSD...
2023-03-31 Martin QuinsonMerge branch 'master' into 'master'
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa...
2023-03-30 mlaurentReplace state copy with recipe: list of transition...
2023-03-28 mlaurentChange opened states for a priority queue
2023-03-27 mlaurentNow handle random transition and multiple times transitions
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-26 Martin QuinsonImplement reforks by forking the application, to save...
2023-03-25 Martin QuinsonDo not ask for memory info when restarting in refork...
2023-03-24 Arnaud GierschDelete redundant blank lines at the start of a code...
2023-03-24 mlaurentAdd copy constructor to state, so we can backtrack...
2023-03-24 Arnaud GierschSimplify member initialization.
2023-03-24 Arnaud GierschDetermine n_transitions on receiving side (and remove...
2023-03-24 Arnaud GierschThere's no need to compute the total transition count...
2023-03-24 Arnaud GierschMerge loops and get rid of the "probes" temporary vector.
2023-03-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-22 Martin QuinsonFix some easy sonar smells
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master'
2023-03-21 Martin QuinsonMake sure that the dtor of CheckerSide actually kills...
2023-03-21 mlaurentfix order of execute_next calls
2023-03-20 Martin QuinsonDo not initialize the App's memory introspection if...
2023-03-20 Martin QuinsonPut everything in position to re-fork the verified App
2023-03-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-20 mlaurentadd wait guide and mofidication for the heuristic compu...
2023-03-19 Martin Quinsoncosmetics
2023-03-19 Martin QuinsonMove more of the CheckerSide creation logic to the...
2023-03-19 Martin QuinsonMC: disable Address Space Layout Randomization in the...
2023-03-19 Martin QuinsonDiffer the creation of the RemoteProcessMemory to when...
2023-03-19 Martin QuinsonBetter responsabilities splitup between CheckerSide...
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class
2023-03-19 Martin QuinsonMove the memory handling of RemoteProcessMemory singlet...
2023-03-19 Martin QuinsonMake a global singleton of Exploration, to kill ModelCh...
2023-03-19 Martin Quinsonanother mc_model_checker call location disappears
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-18 mlaurentBases for wait distance guide
2023-03-18 Martin QuinsonFix MC+clang builds
2023-03-18 Martin QuinsonMerge branch 'master' into 'master'
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-18 mlaurentReplace todo direct access with consider methods; guide...
next