AND Public Git Repository - simgrid.git/history

2022-08-07	Martin Quinson	Merge mc_safety.hpp into DFSExplorer class	blob \| commitdiff \| raw
2022-08-06	Martin Quinson	Make the RemoteApp a field of the Exploration, and...	blob \| commitdiff \| raw \| diff to current
2022-08-05	Martin Quinson	Simplify the MC initialization code	blob \| commitdiff \| raw \| diff to current
2022-08-04	Martin Quinson	only 3 more functions to go in mc::api	blob \| commitdiff \| raw \| diff to current
2022-08-03	Martin Quinson	Move the automaton from mc::api to Liveness. An ugly...	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Sanitize MC finalization process and inline a function	blob \| commitdiff \| raw \| diff to current
2022-07-10	Martin Quinson	MC: allow to pass env variables to the verified application	blob \| commitdiff \| raw \| diff to current
2022-03-11	Martin Quinson	Merge branch 'add_remaining_comm_sync_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-09	Martin Quinson	Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm...	blob \| commitdiff \| raw \| diff to current
2022-02-28	Arnaud Giersch	Useless lower-case alias.	blob \| commitdiff \| raw \| diff to current
2022-02-24	Arnaud Giersch	Ensure that MC session and checker are deleted.	blob \| commitdiff \| raw \| diff to current
2022-02-24	Arnaud Giersch	Use simpler std::vector.	blob \| commitdiff \| raw \| diff to current
2022-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches