| 2016-01-11 |
Martin Quinson | make MC compile with -Wmissing-declaration |
blob | commitdiff | raw |
| 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-23 |
Gabriel Corona | [mc] Move heap_ignore to Process |
blob | commitdiff | raw | diff to current |
| 2015-11-23 |
Gabriel Corona | [mc] Move stacks_areas into Process |
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-10 |
Gabriel Corona | [mc] Fix privatisation support |
blob | commitdiff | raw | diff to current |
| 2015-11-06 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
| 2015-11-05 |
Gabriel Corona | [smpi] Use virtual memory layout to find the data segment |
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] Add std:: namespace for some types |
blob | commitdiff | raw | diff to current |
| 2015-10-15 |
Gabriel Corona | [mc] OOify mc_find_frame_base() |
blob | commitdiff | raw | diff to current |
| 2015-10-15 |
Gabriel Corona | [mc] OOify LocationLists, Location |
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] Move MC_important_snapshot() as a method of ModelC... |
blob | commitdiff | raw | diff to current |
| 2015-10-09 |
Gabriel Corona | [mc] Add AddressSpace::process() method |
blob | commitdiff | raw | diff to current |
| 2015-10-09 |
Gabriel Corona | [mc] Cleanup mc_hash.cpp |
blob | commitdiff | raw | diff to current |
| 2015-10-09 |
Gabriel Corona | [mc] Fix memory leak in MC_get_memory_regions() |
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-10-02 |
Gabriel Corona | [mc] Bring back soft-dirty tracking from the dead 💀 |
blob | commitdiff | raw | diff to current |
| 2015-10-02 |
Gabriel Corona | [mc] Support for mmap-able snapthots |
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-09-17 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
blob | commitdiff | raw | diff to current |
| 2015-09-14 |
Gabriel Corona | [mc] Fix SimGridMC when SMPI is disabled |
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] Remove useless/unused stuff |
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 Frame::variables, Frame::scopes and ObjectInf... |
blob | commitdiff | raw | diff to current |
| 2015-07-21 |
Gabriel Corona | [mc] C++ location lists and expressions |
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 ObjectInformation |
blob | commitdiff | raw | diff to current |
| 2015-07-17 |
Gabriel Corona | [mc] Cleanup mc_hash |
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 Process:object_infos a srd::vector of std... |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make s_mc_snapshot_stack::context not a pointer |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make s_mc_snapshot_stack::stack_frames a std:... |
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_stack_frame::frame_name a std::string |
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::ignored_data a std::vector |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::current_fds a std::vector |
blob | commitdiff | raw | diff to current |
| 2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::stack_sizes 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] C++ify RegionType, StorageType enums |
blob | commitdiff | raw | diff to current |
| 2015-06-02 |
Gabriel Corona | [mc] Fix compilation error on clang (and group all... |
blob | commitdiff | raw | diff to current |
| 2015-06-02 |
Gabriel Corona | temp |
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-28 |
Gabriel Corona | [mc] Make Process::memory_map_ a std::vector |
blob | commitdiff | raw | diff to current |
| 2015-05-22 |
Gabriel Corona | [mc] Private Process::pid |
blob | commitdiff | raw | diff to current |
| 2015-05-22 |
Gabriel Corona | [mc] Make a std::vector of Process::checkpoint_ignore |
blob | commitdiff | raw | diff to current |
| 2015-05-21 |
Gabriel Corona | [mc] Move methods in Process 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-05 |
Gabriel Corona | [mc] Remove designated initializers |
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-17 |
Gabriel Corona | [mc] Remove soft dirty page tracking |
blob | commitdiff | raw | diff to current |
| 2015-04-16 |
Gabriel Corona | [mc] Switch to C++ |
blob | commitdiff | raw | diff to current |
|
