Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix MC with the class-hierarchification of simgrid::simix::Synchro
[simgrid.git] / src / mc / mc_state.cpp
2016-05-11 Gabriel Corona[mc] Fix MC with the class-hierarchification of simgrid...
2016-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-13 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-13 Gabriel Corona[mc] Move mc_stats.expanded_states into the Checkers
2016-04-13 Gabriel Corona[mc] s/getRecordElement/getTransition/
2016-04-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-11 Gabriel Corona[mc] Rename RecordTraceElement as Transition and use...
2016-04-07 Gabriel Corona[mc] Get rid of the ugly "value" out parameter in MC_st...
2016-04-07 Gabriel Corona[mc] Remove MC_state_get_internal_request()
2016-04-07 Gabriel Corona[mc] Remove MC_state_get_executed_request()
2016-04-07 Gabriel Corona[mc] Add Factor some gorry code to State::getRecordElem...
2016-04-07 Gabriel Corona[mc] Simplify/unify the interleeaving/exploration logic
2016-04-07 Gabriel Corona[mc] Get rid of MC_state_set_executed_request() in...
2016-04-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-06 Gabriel Corona[mc] Remove MC_state_remove_interleave_process() (not...
2016-04-06 Gabriel Corona[mc] Use std::vector for State::incomplete_comm_pattern...
2016-04-06 Gabriel Corona[mc] Remove duplicate init in State
2016-04-05 Gabriel Corona[mc] C++ification of State
2016-04-05 Gabriel Corona[mc] Remove MC_state_delete()
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Use shared_ptr for Snapshot
2016-03-29 Gabriel Corona[mc] Making a State a class
2016-03-16 Gabriel Corona[mc] Remove pointless #includes
2016-03-13 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-11 Gabriel Corona[mc] Remove useless extern "C" around logging categories
2016-03-08 Gabriel Corona[mc] Move things in the MC namespace
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-07 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-07 Gabriel Corona[mc] Remove useless braces
2016-03-01 Gabriel Corona[mc] Remove the horrible MC_EACH_SIMIX_PROCESS() macro
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
2016-02-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-26 Gabriel Corona[mc] s/NULL/nullptr/
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel CoronaRemove/cleanup/fix some #include
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Move some code into simgrid::mc namespace
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-26 Gabriel Corona[mc] Remove .. in #includes
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-05-26 Gabriel Corona[mc] Fix cross-process access to simcall_comm_***any__g...
2015-05-22 Gabriel Corona[mc] Move cross process reading support for SBT structu...
2015-05-21 Gabriel Corona[mc] Move methods in Process class
2015-05-21 Gabriel Corona[mc] Make C++ classes out of addres_space, process...
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-16 Gabriel Corona[mc] Switch to C++