| 2017-10-15 |
Martin Quinson | Merge branch 'actor-startkilltime' of https://github... |
tree | commitdiff |
| 2017-10-15 |
Martin Quinson | Merge pull request #228 from Takishipp/actor-execute |
tree | commitdiff |
| 2017-10-10 |
Arnaud Giersch | Remove useless typedef's from C++ files. |
tree | commitdiff |
| 2017-10-10 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2017-10-10 |
Arnaud Giersch | Rename C++ only header files from .h to .hpp. |
tree | commitdiff |
| 2017-08-16 |
Takishipp | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
| 2017-08-07 |
bcamus | Merge branch 'master' of https://github.com/simgrid... |
tree | commitdiff |
| 2017-08-03 |
Arnaud Giersch | Silence codacy (initialize variable). |
tree | commitdiff |
| 2017-07-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2017-07-27 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2017-07-27 |
Arnaud Giersch | Use C++ style includes when available. |
tree | commitdiff |
| 2017-07-17 |
Martin Quinson | Merge pull request #200 from Takishipp/clear_fct |
tree | commitdiff |
| 2017-07-16 |
Martin Quinson | MC: rename process into RemoteClient |
tree | commitdiff |
| 2017-05-29 |
Takishipp | Merge branches 'master' and 'master' of github.com... |
tree | commitdiff |
| 2017-05-23 |
Frederic Suter | a few more smells |
tree | commitdiff |
| 2016-11-30 |
Millian Poquet | Merge branch 'master' of https://github.com/mpoquet... |
tree | commitdiff |
| 2016-06-09 |
Christian Heinrich | [TESHSUITE] NULL -> nullptr substitution |
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-15 |
Frederic Suter | Do not declare empty sets |
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-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 |
|
