2016-02-29 |
Julien Gossa | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw |
2016-02-29 |
Frederic Suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw |
2016-02-29 |
Gabriel Corona | Remove static tracepoint support |
blob | commitdiff | raw |
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 |
2015-02-06 |
Gabriel Corona | [mc] New message for stack_area |
blob | commitdiff | raw | diff to current |
2015-01-09 |
Gabriel Corona | [mc] Remove remaining bits on hardcoded object list |
blob | commitdiff | raw | diff to current |
2014-12-19 |
Gabriel Corona | [mc] Abstract the process and a snapshot types with... |
blob | commitdiff | raw | diff to current |
2014-12-12 |
Gabriel Corona | [mc] Support for reading heap state from another process |
blob | commitdiff | raw | diff to current |
2014-12-08 |
Gabriel Corona | [mc] Multiple .so support for region snapshots |
blob | commitdiff | raw | diff to current |
2014-12-08 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2014-12-04 |
Gabriel Corona | [mc] Move process info in a new s_mc_process_t structure |
blob | commitdiff | raw | diff to current |
2014-12-04 |
Gabriel Corona | Merge branch 'master' |
blob | commitdiff | raw | diff to current |
2014-12-04 |
Gabriel Corona | [mc] Remove useless header #includes |
blob | commitdiff | raw | diff to current |
2014-11-28 |
Adrien Lebre | merge msg_vm.c - adrien (please note that there is... |
blob | commitdiff | raw | diff to current |
2014-11-21 |
Gabriel Corona | Merge branch 'xp' |
blob | commitdiff | raw | diff to current |
2014-11-18 |
Gabriel Corona | Infrastructure for statically defined tracepoints |
blob | commitdiff | raw | diff to current |
2014-11-02 |
Martin Quinson | rename all SIMIX_pre_* to simcall_HANDLER_* |
blob | commitdiff | raw | diff to current |
2014-07-28 |
Adrien Lebre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2014-07-25 |
Gabriel Corona | [mc] Make state/snapshot comparison work with SMPI... |
blob | commitdiff | raw | diff to current |
2014-07-25 |
Gabriel Corona | Merge branch 'mc' |
blob | commitdiff | raw | diff to current |
2014-07-24 |
Gabriel Corona | Merge remote-tracking branch 'origin/mc-fastsnapshot... |
blob | commitdiff | raw | diff to current |
2014-07-24 |
Gabriel Corona | [mc] Use mc_region_contain where it could be used |
blob | commitdiff | raw | diff to current |
2014-07-08 |
Gabriel Corona | [mc] Use mc_snapshot_region_memcmp() in compare_areas_w... |
blob | commitdiff | raw | diff to current |
2014-07-08 |
Gabriel Corona | Merge branch 'mc-fix' into mc-fastsnapshot |
blob | commitdiff | raw | diff to current |
2014-07-04 |
Gabriel Corona | [mc] Add mc_snapshot_read_pointer() |
blob | commitdiff | raw | diff to current |
2014-07-04 |
Gabriel Corona | [mc] Bug: MC was reading from the wrong region |
blob | commitdiff | raw | diff to current |
2014-07-03 |
Gabriel Corona | [mc] Fast path when comparing NULL against non-NULL... |
blob | commitdiff | raw | diff to current |
2014-07-03 |
Gabriel Corona | [mc] Bug: MC was reading from the wrong region |
blob | commitdiff | raw | diff to current |
next |