Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[appveyor] more verbose on problems
[simgrid.git] / teshsuite / mc /
2015-07-27 Gabriel Corona[mc] Move Frame, ModelChecker, ObjectInformation, Type...
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage
2015-07-21 Gabriel Corona[mc] Make Process::subprograms a std::unordered_map
2015-07-21 Gabriel Corona[mc] Make type_is an integer instead of a string and...
2015-07-21 Gabriel Corona[mc] Make Frame::variables, Frame::scopes and ObjectInf...
2015-07-21 Gabriel Corona[mc] C++ify Frame
2015-07-21 Gabriel Corona[mc] C++ify Variable
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont)
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont)
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type
2015-07-21 Gabriel Corona[mc] OOPify/C++ify ObjectInformation
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel Corona[mc] Make Process:object_infos a srd::vector of std...
2015-06-02 Gabriel Corona[mc] exit() instead of abort() in normal operation
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-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien
2015-04-04 Martin Quinsonmv msg/msg.h simgrid/msg.h
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation
2015-03-20 Gabriel Corona[mc] Do not take NULL to mean 'the current address...
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...
2015-01-30 Gabriel Corona[mc] Remove useless code in ~DWARF test
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program
2014-12-12 Gabriel Corona[mc] Support for reading heap state from another process
2014-12-09 Gabriel Corona[mc] Enable the custom mm malloc only in MC
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-04 Gabriel Corona[mc] Remove useless header #includes
2014-12-01 Gabriel CoronaFix dist
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-13 Lucas Mello SchnorrMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-13 Gabriel Corona[mc] Prepare support for register location in DWARF...
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-25 Gabriel Corona[mc] Make state/snapshot comparison work with SMPI...
2014-07-25 Gabriel CoronaMerge branch 'mc'
2014-07-25 Gabriel Corona[mc] Remove page_store.tesh (has been changed into...
2014-07-24 Gabriel CoronaMerge remote-tracking branch 'origin/mc-fastsnapshot...
2014-07-08 Gabriel Corona[mc] Move page store test from the integration test...
2014-07-08 Gabriel CoronaMerge branch 'mc-fix' into mc-fastsnapshot
2014-06-27 Gabriel CoronaMerge branch 'mc'
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc
2014-06-18 Paul BédarideMerge branch 'v3_11_x'
2014-06-13 Gabriel Corona[mc] Page-level sparse snapshot: work-in-progress,...
2014-06-04 Gabriel CoronaFix broken tesh file (with the Perl tesh)
2014-05-26 Gabriel CoronaMerge branch 'master' into mc
2014-05-12 Henri CasanovaMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-05-12 Arnaud GierschFix dead assignments.
2014-05-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-05-05 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-04-29 Paul BédarideAdd teshfiles to CMakelists.txt of teshsuite/mc
2014-04-29 Paul BédarideMove mc testsuite to teshsuite