| 2017-02-12 |
Martin Quinson | increase a timeout that fires on me from time to time |
tree | commitdiff |
| 2017-02-07 |
Martin Quinson | more info to the user. |
tree | commitdiff |
| 2016-11-30 |
Millian Poquet | Merge branch 'master' of https://github.com/mpoquet... |
tree | commitdiff |
| 2016-10-14 |
Martin Quinson | Reduce the layering madness a bit |
tree | commitdiff |
| 2016-06-21 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2016-06-21 |
Frederic Suter | some MC tests still believe that platform.xml exist |
tree | commitdiff |
| 2016-06-20 |
Frederic Suter | reindent more deployment files |
tree | commitdiff |
| 2016-06-20 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2016-06-20 |
Frederic Suter | today is doomsday: platform.xml is sacrificed for the... |
tree | commitdiff |
| 2016-06-09 |
Christian Heinrich | [TESHSUITE] NULL -> nullptr substitution |
tree | commitdiff |
| 2016-04-06 |
degomme | fix two teshes for out of source buiilds |
tree | commitdiff |
| 2016-03-22 |
Frederic Suter | reorganize cmake files to group ADD_TEST together |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | either I'm dumb or tired... |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | grrrrr |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | damn! so many mistakes ... |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | second try to fix |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | try to blindly fix test |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | reorg teshsuite/mc |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | kill another avoidable XML |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2016-03-18 |
Frederic Suter | refactor 2 more CMakeLists |
tree | commitdiff |
| 2016-03-14 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2016-03-14 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2016-03-14 |
Frederic Suter | factor Cmake and clean files |
tree | commitdiff |
| 2016-03-10 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2016-03-10 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2016-03-10 |
degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2016-03-10 |
Gabriel Corona | [mc] Move code in simgrid::mc |
tree | commitdiff |
| 2016-02-27 |
Martin Quinson | Merge pull request #65 from fabienchaix/master |
tree | commitdiff |
| 2016-02-24 |
Fabien Chaix | Merge branch 'oldstyle_element_set' |
tree | commitdiff |
| 2016-02-23 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2016-02-23 |
Martin Quinson | reduce the amount of includes to speed up recompilations |
tree | commitdiff |
| 2016-02-23 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2016-02-23 |
Martin Quinson | various cleanups in the CMakeLists.txt files |
tree | commitdiff |
| 2016-02-23 |
Gabriel Corona | [mc] Partial cleanup of the initialisation of the diffe... |
tree | commitdiff |
| 2016-02-23 |
fabienchaix | Merge pull request #2 from mquinson/master |
tree | commitdiff |
| 2016-02-20 |
Martin Quinson | Merge branch 'coverity_scan' of github.com:mquinson... |
tree | commitdiff |
| 2016-02-18 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2016-02-18 |
Frederic Suter | cleanup XML jungle in teshsuite |
tree | commitdiff |
| 2016-02-15 |
Frederic Suter | Do not declare empty sets |
tree | commitdiff |
| 2016-02-08 |
Martin Quinson | convert all xml files to the new DTD v4 |
tree | commitdiff |
| 2016-02-06 |
Martin Quinson | sed -i -e 's/\t/ /g' [sources] Please people, stop... |
tree | commitdiff |
| 2016-01-22 |
Frederic Suter | improve coverage in teshsuite |
tree | commitdiff |
| 2016-01-22 |
Martin Quinson | revalidate tesh files when maestro is given a process... |
tree | commitdiff |
| 2015-12-11 |
Luka Stanisic | Merging changes done by Steven, Samuel and Luka, regard... |
tree | commitdiff |
| 2015-10-25 |
Martin Quinson | Reduce the amount of implicit include directories |
tree | commitdiff |
| 2015-10-25 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2015-10-24 |
degomme | try to fix some compilation erros |
tree | commitdiff |
| 2015-10-16 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2015-10-15 |
Gabriel Corona | [mc] OOify mc_find_frame_base() |
tree | commitdiff |
| 2015-10-15 |
Gabriel Corona | [mc] OOify LocationLists, Location |
tree | commitdiff |
| 2015-10-15 |
Gabriel Corona | [mc] OOify DWARF stack/evaluation expression |
tree | commitdiff |
| 2015-10-13 |
Martin Quinson | Merge branch 'S4U' |
tree | commitdiff |
| 2015-10-09 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
tree | commitdiff |
| 2015-10-09 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2015-10-09 |
Gabriel Corona | [mc] Create a Member for for structure/class/union... |
tree | commitdiff |
| 2015-10-09 |
Gabriel Corona | [mc] Rename mc_process.{h,cpp} into Process.{h,c}pp |
tree | commitdiff |
| 2015-10-02 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2015-10-02 |
Gabriel Corona | Revert "[mc] Move libdw binding code in its own file" |
tree | commitdiff |
| 2015-09-18 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
tree | commitdiff |
| 2015-09-17 |
Gabriel Corona | [mc] Move libdw binding code in its own file |
tree | commitdiff |
| 2015-09-08 |
Martin Quinson | disable a broken test, and cleanups |
tree | commitdiff |
| 2015-09-01 |
Gabriel Corona | [mc] Remove the --cfg=model-check:1 flag |
tree | commitdiff |
| 2015-08-31 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2015-08-31 |
Martin Quinson | don't tell 165 times that we need CMAKE v2.6 |
tree | commitdiff |
| 2015-08-27 |
Martin Quinson | Merge branch 'master' into S4U |
tree | commitdiff |
| 2015-08-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2015-08-25 |
Gabriel Corona | [mc] Add a test to examplify that we should handle... |
tree | commitdiff |
| 2015-08-09 |
Martin Quinson | Merge branch 'master' into S4U |
tree | commitdiff |
| 2015-08-05 |
Martin Quinson | Update copyright notices |
tree | commitdiff |
| 2015-08-02 |
Martin Quinson | Merge branch 'master' into S4U |
tree | commitdiff |
| 2015-07-27 |
Gabriel Corona | [mc] Move Frame, ModelChecker, ObjectInformation, Type... |
tree | commitdiff |
| 2015-07-24 |
Martin Quinson | Merge 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 Quinson | Merge 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-06-02 |
Gabriel Corona | [mc] exit() instead of abort() in normal operation |
tree | commitdiff |
| 2015-05-21 |
Gabriel Corona | [mc] Make C++ classes out of addres_space, process... |
tree | commitdiff |
| 2015-05-19 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2015-04-27 |
Gabriel Corona | Merge branch 'master' into mc |
tree | commitdiff |
| 2015-04-17 |
Gabriel Corona | [mc] C++ class ModelChecker |
tree | commitdiff |
| 2015-04-14 |
Gabriel Corona | Merge branch 'master' into mc-process |
tree | commitdiff |
| 2015-04-14 |
Gabriel Corona | Merge branch 'master' into mc-process |
tree | commitdiff |
| 2015-04-08 |
Adrien Lebre | Merge before commiting VM changes - Adrien |
tree | commitdiff |
| 2015-04-04 |
Martin Quinson | mv msg/msg.h simgrid/msg.h |
tree | commitdiff |
| 2015-03-26 |
Gabriel Corona | [mc] Cross-process MC/safety implementation |
tree | commitdiff |
| 2015-03-20 |
Gabriel Corona | [mc] Do not take NULL to mean 'the current address... |
tree | commitdiff |
| 2015-03-10 |
Gabriel Corona | Merge branch 'master' into mc-process |
tree | commitdiff |
| 2015-02-18 |
Arnaud Legrand | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2015-02-12 |
Gabriel Corona | Merge master into mc-process |
tree | commitdiff |
| 2015-02-03 |
Gabriel Corona | [mc] Basic infrastructure for a real model-checker... |
tree | commitdiff |
| next |
