Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
disable a broken test, and cleanups
[simgrid.git] / teshsuite / mc / dwarf /
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-31 Martin Quinsondon't tell 165 times that we need CMAKE v2.6 tree | commitdiff
2015-08-05 Martin QuinsonUpdate copyright notices tree | commitdiff
2015-07-27 Gabriel Corona[mc] Move Frame, ModelChecker, ObjectInformation, Type... tree | commitdiff
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make Process::subprograms a std::unordered_map tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make type_is an integer instead of a string and... tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make Frame::variables, Frame::scopes and ObjectInf... tree | commitdiff
2015-07-21 Gabriel Corona[mc] C++ify Frame tree | commitdiff
2015-07-21 Gabriel Corona[mc] C++ify Variable tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont) tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont) tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify ObjectInformation tree | commitdiff
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-06-09 Gabriel Corona[mc] Make Process:object_infos a srd::vector of std... tree | commitdiff
2015-05-21 Gabriel Corona[mc] Make C++ classes out of addres_space, process... tree | commitdiff
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-04-27 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-02-12 Gabriel CoronaMerge master into mc-process tree | commitdiff
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker... tree | commitdiff
2015-01-30 Gabriel Corona[mc] Remove useless code in ~DWARF test tree | commitdiff
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program tree | commitdiff
2014-12-12 Gabriel Corona[mc] Support for reading heap state from another process tree | commitdiff
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure tree | commitdiff
2014-12-04 Gabriel CoronaMerge branch 'master' tree | commitdiff
2014-12-04 Gabriel Corona[mc] Remove useless header #includes tree | commitdiff
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is... tree | commitdiff
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-10-13 Lucas Mello SchnorrMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-13 Gabriel Corona[mc] Prepare support for register location in DWARF... tree | commitdiff
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-07-25 Gabriel Corona[mc] Make state/snapshot comparison work with SMPI... tree | commitdiff
2014-05-26 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2014-05-12 Henri CasanovaMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-12 Arnaud GierschFix dead assignments. tree | commitdiff
2014-05-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-05-05 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-04-29 Paul BédarideAdd teshfiles to CMakelists.txt of teshsuite/mc tree | commitdiff
2014-04-29 Paul BédarideMove mc testsuite to teshsuite tree | commitdiff
Clone of SimGrid repository with local patches