| 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 |
| 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-09 |
Gabriel Corona | [mc] Enable the custom mm malloc only in MC |
tree | commitdiff |
| 2014-12-08 |
Adrien Lebre | Merge 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 Corona | Merge branch 'master' |
tree | commitdiff |
| 2014-12-04 |
Gabriel Corona | [mc] Remove useless header #includes |
tree | commitdiff |
| 2014-12-01 |
Gabriel Corona | Fix dist |
tree | commitdiff |
| 2014-12-01 |
Gabriel Corona | [mc] Initial support MC record/replay |
tree | commitdiff |
| 2014-11-28 |
Adrien Lebre | merge msg_vm.c - adrien (please note that there is... |
tree | commitdiff |
| 2014-10-15 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2014-10-13 |
Lucas Mello Schnorr | Merge 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 Lebre | Merge 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-07-25 |
Gabriel Corona | Merge branch 'mc' |
tree | commitdiff |
| 2014-07-25 |
Gabriel Corona | [mc] Remove page_store.tesh (has been changed into... |
tree | commitdiff |
| 2014-07-24 |
Gabriel Corona | Merge remote-tracking branch 'origin/mc-fastsnapshot... |
tree | commitdiff |
| 2014-07-08 |
Gabriel Corona | [mc] Move page store test from the integration test... |
tree | commitdiff |
| 2014-07-08 |
Gabriel Corona | Merge branch 'mc-fix' into mc-fastsnapshot |
tree | commitdiff |
| 2014-06-27 |
Gabriel Corona | Merge branch 'mc' |
tree | commitdiff |
| 2014-06-27 |
Gabriel Corona | Merge branch 'mc-fastsnapshot' into mc |
tree | commitdiff |
| 2014-06-18 |
Paul Bédaride | Merge branch 'v3_11_x' |
tree | commitdiff |
| 2014-06-13 |
Gabriel Corona | [mc] Page-level sparse snapshot: work-in-progress,... |
tree | commitdiff |
| 2014-06-04 |
Gabriel Corona | Fix broken tesh file (with the Perl tesh) |
tree | commitdiff |
| 2014-05-26 |
Gabriel Corona | Merge branch 'master' into mc |
tree | commitdiff |
| 2014-05-12 |
Henri Casanova | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| next |
