| 2016-04-03 |
degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw |
| 2016-04-01 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw |
| 2016-04-01 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw |
| 2016-04-01 |
Gabriel Corona | [mc] Only #include LivenessChecker.hpp in LivenessCheck... |
blob | commitdiff | raw |
| 2016-03-29 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-03-29 |
Gabriel Corona | [mc] Move some snapshot_compare() overload with their... |
blob | commitdiff | raw | diff to current |
| 2016-03-24 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-03-24 |
Gabriel Corona | [mc] Move main liveness code in a LivenessChecker class |
blob | commitdiff | raw | diff to current |
| 2016-03-23 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-03-23 |
Gabriel Corona | [mc] Move some liveness code in the liveness file ... |
blob | commitdiff | raw | diff to current |
| 2016-03-23 |
Gabriel Corona | [mc] Do not use a dangerous guess-the-type logic in... |
blob | commitdiff | raw | diff to current |
| 2016-03-15 |
Gabriel Corona | [mc] Remove C typedefs (mc_foobar_t) and mc_forward.h |
blob | commitdiff | raw | diff to current |
| 2016-03-15 |
Gabriel Corona | [mc] Move MC malloc introspection code in simgrid::mc |
blob | commitdiff | raw | diff to current |
| 2016-03-13 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
blob | commitdiff | raw | diff to current |
| 2016-03-13 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-03-11 |
Gabriel Corona | [mc] Remove useless extern "C" around logging categories |
blob | commitdiff | raw | diff to current |
| 2016-03-10 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-03-09 |
Gabriel Corona | Fix HAVE_FOOBAR flags handling |
blob | commitdiff | raw | diff to current |
| 2016-03-08 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-03-08 |
Gabriel Corona | [mc] Move mc_safety code in simgrid::mc |
blob | commitdiff | raw | diff to current |
| 2016-03-08 |
Gabriel Corona | [mc] Move mc_liveness code in simgrid::mc |
blob | commitdiff | raw | diff to current |
| 2016-03-07 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-03-07 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
blob | commitdiff | raw | diff to current |
| 2016-03-07 |
Gabriel Corona | [mc] Remove more useless braces |
blob | commitdiff | raw | diff to current |
| 2016-02-29 |
Julien Gossa | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-02-29 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-02-29 |
Gabriel Corona | Remove static tracepoint support |
blob | commitdiff | raw | diff to current |
| 2016-02-27 |
Martin Quinson | Merge pull request #65 from fabienchaix/master |
blob | commitdiff | raw | diff to current |
| 2016-02-26 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2016-02-26 |
Gabriel Corona | [mc] s/NULL/nullptr/ |
blob | commitdiff | raw | diff to current |
| 2016-02-26 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2016-02-26 |
Gabriel Corona | Remove some #include |
blob | commitdiff | raw | diff to current |
| 2016-02-24 |
Fabien Chaix | Merge branch 'oldstyle_element_set' |
blob | commitdiff | raw | diff to current |
| 2016-02-23 |
fabienchaix | Merge pull request #2 from mquinson/master |
blob | commitdiff | raw | diff to current |
| 2016-02-22 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2016-02-22 |
Gabriel Corona | [mc] Replace ReadMode with strongly-type/safe ReadOptions |
blob | commitdiff | raw | diff to current |
| 2016-02-20 |
Martin Quinson | Merge branch 'coverity_scan' of github.com:mquinson... |
blob | commitdiff | raw | diff to current |
| 2016-02-02 |
fabienchaix | Merge pull request #1 from mquinson/master |
blob | commitdiff | raw | diff to current |
| 2016-02-01 |
Martin Quinson | Merge pull request #57 from fabienchaix/oldstyle_elemen... |
blob | commitdiff | raw | diff to current |
| 2016-01-31 |
degomme | looks like a bug (doesn't fix the tests, though) |
blob | commitdiff | raw | diff to current |
| 2016-01-30 |
degomme | This comparison was wrong - Thanks gcc 6.0 for the... |
blob | commitdiff | raw | diff to current |
| 2015-12-11 |
Luka Stanisic | Merging changes done by Steven, Samuel and Luka, regard... |
blob | commitdiff | raw | diff to current |
| 2015-11-26 |
Gabriel Corona | [mc] Better #includes |
blob | commitdiff | raw | diff to current |
| 2015-11-14 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2015-11-12 |
Gabriel Corona | [mc] Simplification, remove profiling code |
blob | commitdiff | raw | diff to current |
| 2015-10-25 |
Martin Quinson | Reduce the amount of implicit include directories |
blob | commitdiff | raw | diff to current |
| 2015-10-16 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2015-10-15 |
Gabriel Corona | [mc] Use std::pair and std::unordered_set in mc_compare |
blob | commitdiff | raw | diff to current |
| 2015-10-15 |
Gabriel Corona | [mc] Remove useless *_free_voidp functions |
blob | commitdiff | raw | diff to current |
| 2015-10-15 |
Gabriel Corona | [mc] Move some code into simgrid::dwarf namespace |
blob | commitdiff | raw | diff to current |
| 2015-10-13 |
Martin Quinson | Merge branch 'S4U' |
blob | commitdiff | raw | diff to current |
| 2015-10-09 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
blob | commitdiff | raw | diff to current |
| 2015-10-09 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2015-10-09 |
Gabriel Corona | [mc] Create a Member for for structure/class/union... |
blob | commitdiff | raw | diff to current |
| 2015-10-02 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2015-10-02 |
Gabriel Corona | Revert "[mc] Move libdw binding code in its own file" |
blob | commitdiff | raw | diff to current |
| 2015-09-18 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
blob | commitdiff | raw | diff to current |
| 2015-09-17 |
Gabriel Corona | [mc] Move libdw binding code in its own file |
blob | commitdiff | raw | diff to current |
| 2015-08-09 |
Martin Quinson | Merge branch 'master' into S4U |
blob | commitdiff | raw | diff to current |
| 2015-08-05 |
Martin Quinson | Update copyright notices |
blob | commitdiff | raw | diff to current |
| 2015-08-02 |
Martin Quinson | Merge branch 'master' into S4U |
blob | commitdiff | raw | diff to current |
| 2015-07-27 |
Gabriel Corona | [mc] Move Frame, ModelChecker, ObjectInformation, Type... |
blob | commitdiff | raw | diff to current |
| 2015-07-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2015-07-23 |
Gabriel Corona | [mc] Remove a lot of typedefs and typedef usage |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] Make ObjectInformation::file_names a std::string |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] Make type_is an integer instead of a string and... |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] Make Frame::variables, Frame::scopes and ObjectInf... |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] C++ify Frame |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] C++ify Variable |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] OOPify/C++ify Type (cont) |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] OOPify/C++ify Type |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make s_mc_global_t::stacks a std::vector |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make s_mc_snapshot_stack::local_variables a std... |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make s_local_variable::name a std::string |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::snapshot_regions a std::vector |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::to_ignore a std::vector |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::enabled_process a std::set |
blob | commitdiff | raw | diff to current |
| 2015-06-02 |
Gabriel Corona | [mc] Remove mc_region_contain(), use the method instead |
blob | commitdiff | raw | diff to current |
| 2015-06-02 |
Gabriel Corona | [mc] C++ify RegionType, StorageType enums |
blob | commitdiff | raw | diff to current |
| 2015-06-01 |
Gabriel Corona | [mc] Use vector<RegionSnapshot> instead of vector<uniqu... |
blob | commitdiff | raw | diff to current |
| 2015-06-01 |
Gabriel Corona | [mc] RegionSnapshot, make all fields private |
blob | commitdiff | raw | diff to current |
| 2015-06-01 |
Gabriel Corona | [mc] RegionSnapshot, make data private |
blob | commitdiff | raw | diff to current |
| 2015-06-01 |
Gabriel Corona | [mc] RegionSnapshot class |
blob | commitdiff | raw | diff to current |
| 2015-05-21 |
Gabriel Corona | [mc] Add remote_ptr for marking pointers-to/addresses... |
blob | commitdiff | raw | diff to current |
| 2015-05-21 |
Gabriel Corona | [mc] Remove compatibility stuff |
blob | commitdiff | raw | diff to current |
| 2015-05-21 |
Gabriel Corona | [mc] Make C++ classes out of addres_space, process... |
blob | commitdiff | raw | diff to current |
| 2015-05-19 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2015-05-04 |
Gabriel Corona | [mc] Add missing inttypes.h include |
blob | commitdiff | raw | diff to current |
| 2015-04-27 |
Gabriel Corona | Merge branch 'master' into mc |
blob | commitdiff | raw | diff to current |
| 2015-04-17 |
Gabriel Corona | [mc] C++ class ModelChecker |
blob | commitdiff | raw | diff to current |
| 2015-04-16 |
Gabriel Corona | [mc] Switch to C++ |
blob | commitdiff | raw | diff to current |
| 2015-04-14 |
Gabriel Corona | Merge branch 'master' into mc-process |
blob | commitdiff | raw | diff to current |
| 2015-04-14 |
Gabriel Corona | Merge branch 'master' into mc-process |
blob | commitdiff | raw | diff to current |
| 2015-03-16 |
Gabriel Corona | [mc] Read smpi_process_count() from remote process |
blob | commitdiff | raw | diff to current |
| 2015-03-10 |
Gabriel Corona | Merge branch 'master' into mc-process |
blob | commitdiff | raw | diff to current |
| 2015-02-24 |
Marion Guthmuller | model-checker : non-progressive cycle detection (enable... |
blob | commitdiff | raw | diff to current |
| 2015-02-18 |
Arnaud Legrand | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
| 2015-02-12 |
Gabriel Corona | Merge master into mc-process |
blob | commitdiff | raw | diff to current |
| 2015-02-06 |
Gabriel Corona | (wip) Move the MCed public API in the same file |
blob | commitdiff | raw | diff to current |
| next |
