AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2023-03-17	Martin Quinson	A few calls to mc_model_checker less by passing more...	blob \| commitdiff \| raw
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
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-22	mlaurent	fix a few test with dpor	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	match previous merge updates	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-17	mlaurent	fix with full compiler warnings	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	Martin Quinson	fix MC+gcc builds	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	mlaurent	adding documentation	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-25	Arnaud Giersch	Make parameters pointer/reference-to-const (sonar).	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Finish the removal of mc::api by moving the last bits...	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Convert simgrid::mc::snapshot_equal() into Snapshot...	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	Finally kill mc::RemoteProcess::actors(). We now commun...	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-06-30	Arnaud Giersch	Merge branch 'dev-get-hostname-faster' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-06-27	Arnaud Giersch	Merge branch 's4u_enforce' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-06-24	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2022-06-10	Martin Quinson	MC: better encapsulation design	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Remove spurious "using" declarations.	blob \| commitdiff \| raw \| diff to current
2022-05-06	Arnaud Giersch	Reduce scope for temporary variables.	blob \| commitdiff \| raw \| diff to current
2022-02-28	Arnaud Giersch	One less global variable: session_singleton.	blob \| commitdiff \| raw \| diff to current
2022-02-28	Arnaud Giersch	Useless lower-case alias.	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-19	Martin Quinson	MC: simplification knowing that every visible transitio...	blob \| commitdiff \| raw \| diff to current
2022-02-17	Martin Quinson	make mc::State extendable so that CommDet does not...	blob \| commitdiff \| raw \| diff to current
2022-02-12	Martin Quinson	Fix more sonar things	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	MC: one simplification step	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Make sure that the last stack element is set when an...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Start moving classes into the mc/api directory	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom