Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Coding style: camel case RemotePtr
[simgrid.git] / src / mc / ModelChecker.cpp
2016-03-01 Gabriel CoronaCoding style: camel case RemotePtr
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 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Fix previous commit
2016-02-26 Gabriel Corona[mc] Homogeneise throwned system_error
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Don't leave model-checked processes around
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set'
2016-02-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-23 degommeFix build with mc
2016-02-23 Gabriel Corona[mc] Partial cleanup of the initialisation of the diffe...
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-12 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-12 Gabriel Corona[mc] Fix MC cross-process memory access
2016-02-12 Gabriel Corona[mc] Fix testall
2015-12-16 Gabriel Corona[mc] Fix the MC wrt the simgrid::Host modification
2015-12-15 Gabriel CoronaUse simgrid::Host instead of xbt_dictelt_t for root...
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-23 Gabriel Corona[mc] Move ignore_local_variable() into Process
2015-11-23 Gabriel Corona[mc] Move heap_ignore to Process
2015-11-23 Gabriel Corona[mc] Move stacks_areas into Process
2015-11-23 Gabriel Corona[mc] Remove MCer_ignore_global_variable
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-12 Gabriel Corona[mc] Simplification, remove profiling code
2015-11-12 Gabriel Corona[mc] Merge Server class into ModelChecker
2015-11-12 Gabriel Corona[mc] Move privatization flag initialization
2015-11-10 Gabriel Corona[mc] Fix privatisation support
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-02 Gabriel Corona[mc] Bring back soft-dirty tracking from the dead 💀
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-28 Gabriel Corona[mc] Multiple heap removal (partial)
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] Add missing copyright notices (and update)
2015-04-17 Gabriel Corona[mc] C++ class PageStore
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker