Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Don't leave model-checked processes around
[simgrid.git] / src / mc / mc_diff.cpp
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-11 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-11 Gabriel CoronaRevert "[mc] Fix loop bound checking using heaplimit"
2016-02-11 Gabriel Corona[mc] Hack to workaround weird/unexpected DWARF
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Add missing copyright notices
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-23 Gabriel Corona[mc] Move heap_ignore to Process
2015-11-23 Gabriel Corona[mc] Move stacks_areas into Process
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-12 Gabriel Corona[mc] Make mc_diff_info static
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-15 Gabriel Corona[mc] Add std:: namespace for some types
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-09 Gabriel Corona[mc] Create a Member for for structure/class/union...
2015-10-09 Gabriel Corona[mc] Remove commented-out code in mc_diff.cpp
2015-10-09 Gabriel Corona[mc] Fix loop bound checking using heaplimit
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-02 Gabriel CoronaRevert "[mc] Move libdw binding code in its own file"
2015-10-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-01 Gabriel Corona[mc] Mark some internal symbols as hidden on ELF in mc
2015-09-18 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-09-17 Gabriel Corona[mc] Move libdw binding code in its own file
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-08-02 Martin QuinsonMerge branch 'master' into S4U
2015-07-27 Gabriel Corona[mc] Move Frame, ModelChecker, ObjectInformation, Type...
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont)
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont)
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type
2015-07-21 Gabriel Corona[mc] OOPify/C++ify ObjectInformation
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel Corona[mc] Make Snapshot::snapshot_regions a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::to_ignore a std::vector
2015-06-02 Gabriel Corona[mc] C++ify RegionType, StorageType enums
2015-06-01 Gabriel Corona[mc] RegionSnapshot, make all fields private
2015-05-28 Gabriel Corona[mc] Mark some Process attributes as private
2015-05-22 Gabriel Corona[mc] Remote deprecated functions MC_snapshot_read_pointer()
2015-05-21 Gabriel Corona[mc] Add remote_ptr for marking pointers-to/addresses...
2015-05-21 Gabriel Corona[mc] Remove compatibility stuff
2015-05-21 Gabriel Corona[mc] Make C++ classes out of addres_space, process...
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-04-28 Gabriel Corona[mc] Remove the dual heap mc_heap/std_heap
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-16 Gabriel Corona[mc] Switch to C++