AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2023-11-07	mlaurent	Add some debug info	blob \| commitdiff \| raw
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	blob \| commitdiff \| raw \| diff to current
2023-06-16	Arnaud Giersch	Merge branch 'fix-wakeup-tree-iterator' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-15	Arnaud Giersch	A few spelling mistakes and many replacements: [Ss...	blob \| commitdiff \| raw \| diff to current
2023-06-14	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-13	Arnaud Giersch	A few spelling mistakes and many replacements: [Ss...	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	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-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-17	Maxwell Pirtle	Add first "working" version of ODPOR	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	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-12	Maxwell Pirtle	Add `Execution` to represent series of transitions	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-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-15	Martin Quinson	Make sure that we never have a 0 transition at the...	blob \| commitdiff \| raw \| diff to current
2023-04-11	Arnaud Giersch	Mark functions as "const" (sonar).	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-04-03	mlaurent	Better handling of test any	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	Fix non-MC builds when MC-only dependencies are missing	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-28	mlaurent	Change opened states for a priority queue	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	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-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	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	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-05	Martin Quinson	Merge branch 'maximal-subset-search' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-03	Martin Quinson	Move the PageStore from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-02-26	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-23	Arnaud Giersch	Merge branch 'simgrid-udpor-integration' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-22	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add incomplete implementations of udpor_globals.cpp	blob \| commitdiff \| raw \| diff to current
2023-02-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-18	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-02-18	Arnaud Giersch	Various cleanups.	blob \| commitdiff \| raw \| diff to current
2023-02-17	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-16	Martin Quinson	Merge branch 'fix-mc-tests' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-16	Maxwell Pirtle	Initialize uninitialized transition for root state	blob \| commitdiff \| raw \| diff to current
2023-02-16	Maxwell Pirtle	Fix root-node edge cases for states	blob \| commitdiff \| raw \| diff to current
2023-02-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-15	Martin Quinson	Merge branch 'actor-comms' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-15	mlaurent	updated doc	blob \| commitdiff \| raw \| diff to current
2023-02-15	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-15	Maxwell Pirtle	Replace pending transition with latest execution	blob \| commitdiff \| raw \| diff to current
2023-02-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-13	mlaurent	adding sleep sets to reduction techniques	blob \| commitdiff \| raw \| diff to current
2023-02-10	mlaurent	Fix for MC DPOR algorithm	blob \| commitdiff \| raw \| diff to current
2023-02-10	Maxwell Pirtle	Add intial steps to transfer transitions to the MC	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-08-26	Arnaud Giersch	Type consistency.	blob \| commitdiff \| raw \| diff to current
2022-08-25	Arnaud Giersch	Make parameters pointer/reference-to-const (sonar).	blob \| commitdiff \| raw \| diff to current
2022-08-09	Martin Quinson	MC: apply some sonar advices	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Rename mc::Session into mc::api::RemoteApp	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	MC further cleanups (let it compile, this time)	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	MC: make it clear that we only have the info about...	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	Reduce the amount of MC locations reading the memory...	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-03-30	Martin Quinson	Merge branch 'add_missing_comm_python_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-29	Martin Quinson	Merge branch 'dev-mailbox-clear' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-28	Bruno Donassolo	Merge branch 'issue105' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-25	Arnaud Giersch	[sonar] Don't mix public and private members (mc::State).	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	MC: the state does not need to have the simcall anymore	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Split TransitionAny and TransitionRandom to their own...	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom