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-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-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-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-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-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-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-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-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-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 |
2014-05-12 |
Arnaud Giersch | Fix dead assignments. |
tree | commitdiff |
2014-05-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2014-05-05 |
Stéphane Castelli | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-04-29 |
Paul Bédaride | Add teshfiles to CMakelists.txt of teshsuite/mc |
tree | commitdiff |
2014-04-29 |
Paul Bédaride | Move mc testsuite to teshsuite |
tree | commitdiff |
|