Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
smells -= a lot
[simgrid.git] / teshsuite / mc /
2017-02-12 Martin Quinsonincrease a timeout that fires on me from time to time
2017-02-07 Martin Quinsonmore info to the user.
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-10-14 Martin QuinsonReduce the layering madness a bit
2016-06-21 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-06-21 Frederic Sutersome MC tests still believe that platform.xml exist
2016-06-20 Frederic Suterreindent more deployment files
2016-06-20 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-06-20 Frederic Sutertoday is doomsday: platform.xml is sacrificed for the...
2016-06-09 Christian Heinrich[TESHSUITE] NULL -> nullptr substitution
2016-04-06 degommefix two teshes for out of source buiilds
2016-03-22 Frederic Suterreorganize cmake files to group ADD_TEST together
2016-03-18 Frederic Sutereither I'm dumb or tired...
2016-03-18 Frederic Sutergrrrrr
2016-03-18 Frederic Suterdamn! so many mistakes ...
2016-03-18 Frederic Sutersecond try to fix
2016-03-18 Frederic Sutertry to blindly fix test
2016-03-18 Frederic Suterreorg teshsuite/mc
2016-03-18 Frederic Suterkill another avoidable XML
2016-03-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-18 Frederic Suterrefactor 2 more CMakeLists
2016-03-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-14 Frederic Suterfactor Cmake and clean files
2016-03-10 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-10 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-10 Gabriel Corona[mc] Move code in simgrid::mc
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
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 Martin Quinsonreduce the amount of includes to speed up recompilations
2016-02-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-23 Martin Quinsonvarious cleanups in the CMakeLists.txt files
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-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-18 Frederic Sutercleanup XML jungle in teshsuite
2016-02-15 Frederic SuterDo not declare empty sets
2016-02-08 Martin Quinsonconvert all xml files to the new DTD v4
2016-02-06 Martin Quinsonsed -i -e 's/\t/ /g' [sources] Please people, stop...
2016-01-22 Frederic Suterimprove coverage in teshsuite
2016-01-22 Martin Quinsonrevalidate tesh files when maestro is given a process...
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-25 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-24 degommetry to fix some compilation erros
2015-10-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-15 Gabriel Corona[mc] OOify mc_find_frame_base()
2015-10-15 Gabriel Corona[mc] OOify LocationLists, Location
2015-10-15 Gabriel Corona[mc] OOify DWARF stack/evaluation expression
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-09 Gabriel Corona[mc] Create a Member for for structure/class/union...
2015-10-09 Gabriel Corona[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-02 Gabriel CoronaRevert "[mc] Move libdw binding code in its own file"
2015-09-18 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-09-17 Gabriel Corona[mc] Move libdw binding code in its own file
2015-09-08 Martin Quinsondisable a broken test, and cleanups
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-31 Martin Quinsondon't tell 165 times that we need CMAKE v2.6
2015-08-27 Martin QuinsonMerge branch 'master' into S4U
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-25 Gabriel Corona[mc] Add a test to examplify that we should handle...
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-08-02 Martin QuinsonMerge branch 'master' into S4U
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...
next