AND Public Git Repository - simgrid.git/history - src/mc/transition/Transition.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / transition / Transition.cpp

2023-11-02	Martin Quinson	MC: add an observer to sleep simcalls	blob \| commitdiff \| raw
2023-04-01	Martin Quinson	Only compile stateless MC when libevent is found	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	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-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-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-19	Martin Quinson	Finally kill the now empty ModelChecker class	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	another mc_model_checker call location disappears	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-13	Fred Suter	Merge branch 'master' into 'master'	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-06	Martin Quinson	sthread: Add a way to verify accesses to non-reentrant...	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-11-06	Martin Quinson	setter function only need a simcall in MC or with paral...	blob \| commitdiff \| raw \| diff to current
2022-10-16	Martin Quinson	Rename the transitions so that asynchronous ones clearl...	blob \| commitdiff \| raw \| diff to current
2022-10-16	Martin Quinson	Implement pthread_join in MC mode for sthread	blob \| commitdiff \| raw \| diff to current
2022-05-30	Arnaud Giersch	Merge selected changes from branch 'simgrid-Jesse-McDon...	blob \| commitdiff \| raw \| diff to current
2022-05-24	Arnaud Giersch	Sonar issues.	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-05-03	Arnaud Giersch	Declare local variables inside the if statement.	blob \| commitdiff \| raw \| diff to current
2022-03-04	Martin Quinson	Reimplement s4u::Barrier natively, and make them visibl...	blob \| commitdiff \| raw \| diff to current
2022-03-03	Martin Quinson	Semaphore made observable from the Checker side	blob \| commitdiff \| raw \| diff to current
2022-02-23	Martin Quinson	MC: Support Mutexes in DPOR	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	Move another function of mc::api, to Transition	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Split TransitionAny and TransitionRandom to their own...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom