Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Duplicate restoreState() as a method of SafetyChecker
[simgrid.git] / src / mc / mc_snapshot.h
2016-04-14 Gabriel Corona[mc] Move mc_global stuff into CommunicationDeterminism...
2016-04-14 Gabriel Corona[mc] Move mc_global stuff into LivenessChecker
2016-04-14 Gabriel Corona[mc] Move initial state into Session
2016-04-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-06 Gabriel Corona[mc] Use nullptr consistently in C++ code
2016-04-05 Gabriel Corona[mc] Use std::string for request_get_dot_output() and...
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Use shared_ptr for Snapshot
2016-03-15 Gabriel Corona[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h
2016-03-15 Gabriel Corona[mc] Move MC malloc introspection code in simgrid::mc
2016-03-15 Gabriel Corona[mc] Move unwinding glue in a UnwindContext class
2016-03-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-09 Gabriel Corona[mc] Move pseudo-MMU code in its own namespace
2016-03-01 Gabriel CoronaCoding style: camel case RemotePtr
2016-02-29 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-29 Gabriel Corona[mc] Cleanup RegionSnapshot buffer code
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
2016-02-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel CoronaRemove/cleanup/fix some #include
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Move some code into simgrid::mc namespace
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set'
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master
2016-02-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-22 Gabriel Corona[mc] Replace ReadMode with strongly-type/safe ReadOptions
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-26 Gabriel Corona[mc] Remove .. in #includes
2015-11-23 Gabriel Corona[mc] Move heap_ignore to Process
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] Rename PerPageCopy to ChunkedData (and move in...
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] Add AddressSpace::process() method
2015-10-09 Gabriel Corona[mc] Make Process and Snapshot classes final
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-02 Gabriel Corona[mc] Support for mmap-able snapthots
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-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-28 Gabriel Corona[mc] Use the real override
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] C++ify Frame
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-06-29 Gabriel Corona[mc] Fix include guards
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel Corona[mc] Make s_mc_snapshot_stack::context not a pointer
2015-06-09 Gabriel Corona[mc] Make s_mc_snapshot_stack::stack_frames a std:...
2015-06-09 Gabriel Corona[mc] Make s_mc_global_t::stacks a std::vector
2015-06-09 Gabriel Corona[mc] Make s_mc_stack_frame::frame_name a std::string
2015-06-09 Gabriel Corona[mc] Make s_mc_snapshot_stack::local_variables a std...
2015-06-09 Gabriel Corona[mc] Make s_local_variable::name a std::string
2015-06-09 Gabriel Corona[mc] Move s_local_variable in mc_snapshot.h
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-09 Gabriel Corona[mc] Make Snapshot::ignored_data a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::current_fds a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::stack_sizes a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::enabled_process a std::set
2015-06-02 Gabriel Corona[mc] Remove mc_region_contain(), use the method instead
2015-06-02 Gabriel Corona[mc] C++ify RegionType, StorageType enums
2015-06-02 Gabriel Corona[mc] Fix compilation error on clang (and group all...
2015-06-02 Gabriel Coronatemp
2015-06-01 Gabriel Corona[mc] Use vector<RegionSnapshot> instead of vector<uniqu...
2015-06-01 Gabriel Corona[mc] Fix typo in e_mc_region_storage_type_t
2015-06-01 Gabriel Corona[mc] Remove deprecated MC_snapshot_read()
2015-06-01 Gabriel Corona[mc] RegionSnapshot, make all fields private
2015-06-01 Gabriel Corona[mc] RegionSnapshot, make data private
2015-06-01 Gabriel Corona[mc] RegionSnapshot class
2015-06-01 Gabriel Corona[mc] Remove mc_translate_address()
2015-05-28 Gabriel Corona[mc] Fix mc_translate_address() for MC_REGION_STORAGE_T...
2015-05-22 Gabriel Corona[mc] Replace the override word with MC_OVERRIDE
2015-05-22 Gabriel Corona[mc] Remote deprecated functions MC_snapshot_read_pointer()
2015-05-22 Gabriel Corona[mc] Make a std::vector of Process::checkpoint_ignore
2015-05-21 Gabriel Corona[mc] Move methods in Process class
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-05-07 Gabriel Corona[mc] Mark many MC symbols as hidden
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 PageStore
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-17 Gabriel Corona[mc] Remove soft dirty page tracking
2015-04-16 Gabriel Corona[mc] Switch to C++
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-02 Gabriel Corona[mc] Fix broken mc_snapshot_get_heap_end()
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
next