AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / api / State.cpp

2023-11-21	Martin Quinson	Various sonar cleanups	blob \| commitdiff \| raw
2023-11-09	mlaurent	Clang format over some mc files	blob \| commitdiff \| raw \| diff to current
2023-11-09	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-09	mlaurent	Discard the wakeup tree when ODPOR reaches a disabled...	blob \| commitdiff \| raw \| diff to current
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-07	Martin Quinson	Simply rewrap comments and reindent, no real change	blob \| commitdiff \| raw \| diff to current
2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-07	mlaurent	Add some debug info	blob \| commitdiff \| raw \| diff to current
2023-11-06	Martin Quinson	ODPOR: more verbose message on assertion failure	blob \| commitdiff \| raw \| diff to current
2023-11-05	Martin Quinson	Remove the stateful model-checking from the archive...	blob \| commitdiff \| raw \| diff to current
2023-07-01	Martin Quinson	More verbose error and debug messages	blob \| commitdiff \| raw \| diff to current
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	blob \| commitdiff \| raw \| diff to current
2023-06-27	Arnaud Giersch	Respect coding style for boolean operators.	blob \| commitdiff \| raw \| diff to current
2023-06-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-26	Arnaud Giersch	Whitespace cleanup (codefactor.io).	blob \| commitdiff \| raw \| diff to current
2023-06-24	Martin Quinson	sleep sets are not an option in MC. We always need...	blob \| commitdiff \| raw \| diff to current
2023-06-07	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Use xbt::random instead of rand and srand	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	Arnaud Giersch	Clang-tidy: readability-qualified-auto.	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Fix few typos and add random seed intializer	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'rename-operation-task' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-01	Maxwell Pirtle	Introduce ODPOR integration with multiple actions	blob \| commitdiff \| raw \| diff to current
2023-05-30	Maxwell Pirtle	Fix subtle bug in ~_E computation	blob \| commitdiff \| raw \| diff to current
2023-05-26	Maxwell Pirtle	Fix subtle bug in Execution regeneration in DFSExplorer	blob \| commitdiff \| raw \| diff to current
2023-05-25	Maxwell Pirtle	Keep pointers to transitions instead of slices	blob \| commitdiff \| raw \| diff to current
2023-05-25	Maxwell Pirtle	Fix two minor bugs in the ODPOR implementation	blob \| commitdiff \| raw \| diff to current
2023-05-23	Maxwell Pirtle	Add first round of execution independence tests	blob \| commitdiff \| raw \| diff to current
2023-05-17	Maxwell Pirtle	Add first "working" version of ODPOR	blob \| commitdiff \| raw \| diff to current
2023-05-16	mlaurent	Add some strategies and fix the semantics of Max/MinMatch	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add explicit ODPOR clean-up phase to DFSExplorer	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add ODPOR "backtracking" logic	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add ODPOR extension computation (lines 4-6)	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add ODPOR race detection phase rough-draft	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add boolean check for wakeup tree initialization	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Automatically remove nodes from parents	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add tree pruning/subtree methods to State	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add skeleton for expansion phase of ODPOR	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Move SDPOR core computation into a method	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Add initial outline of SDPOR implementation	blob \| commitdiff \| raw \| diff to current
2023-05-10	Martin Quinson	MC: Kill the now useless code State::get_recipe	blob \| commitdiff \| raw \| diff to current
2023-05-10	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-05-10	Martin Quinson	Merge branch 'dag-lab' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-05-10	Martin Quinson	Merge branch 'changelog-operation-plugin' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-05-05	Arnaud Giersch	Misc Sonar issues.	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	Lazily compute the recipe of a state, on need only	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	More automatic memory mgmt in MC	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	MC: give each state an incoming transition too	blob \| commitdiff \| raw \| diff to current
2023-04-26	Martin Quinson	Merge branch 'operation-plugin' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-14	Martin Quinson	More defensive programing style	blob \| commitdiff \| raw \| diff to current
2023-04-11	Arnaud Giersch	Pointer and reference should be "const" if the correspo...	blob \| commitdiff \| raw \| diff to current
2023-04-11	Arnaud Giersch	Whitespace cleanup (codefactor.io).	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Intermediate commit to prove that UDPOR functions	blob \| commitdiff \| raw \| diff to current
2023-04-04	Arnaud Giersch	An integer seems good enough to handle priorities,...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Compile the safe part of MC in default mode too	blob \| commitdiff \| raw \| diff to current
2023-03-31	mlaurent	Try to copy penalties correctly	blob \| commitdiff \| raw \| diff to current
2023-03-31	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-31	mlaurent	Temporary fixes	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Rename guide as strategy and fix counter-example displa...	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Replace state copy with recipe: list of transition...	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Now handle random transition and multiple times transitions	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-24	Arnaud Giersch	Delete redundant blank lines at the start of a code...	blob \| commitdiff \| raw \| diff to current
2023-03-24	mlaurent	Add copy constructor to state, so we can backtrack...	blob \| commitdiff \| raw \| diff to current
2023-03-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-23	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Fix some easy sonar smells	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-21	mlaurent	fix order of execute_next calls	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Do not initialize the App's memory introspection if...	blob \| commitdiff \| raw \| diff to current
2023-03-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-20	mlaurent	add wait guide and mofidication for the heuristic compu...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Bases for wait distance guide	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Replace todo direct access with consider methods; guide...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	BasicGuide handle next_transition if asked to	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Add GuidedState abstract class; move ActorState management	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	A few calls to mc_model_checker less by passing more...	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	Move handle_simcall from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-17	mlaurent	Add reference to parent state: only use this creation...	blob \| commitdiff \| raw \| diff to current
2023-03-13	Fred Suter	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-13	Martin Quinson	Give the remote_process_memory to the mc::State constructor	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	move wait_for_requests() from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom