Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use std::equal_range in get_search_range()
[simgrid.git] / src / mc / mc_private.h
2016-03-23 Gabriel Corona[mc] Use std::equal_range in get_search_range()
2016-03-23 Gabriel Corona[mc] Use a single templated code for get_search_interval
2016-03-23 Gabriel Corona[mc] Move some liveness code in the liveness file ...
2016-03-23 Gabriel Corona[mc] Do not use a dangerous guess-the-type logic in...
2016-03-23 Gabriel Corona[mc] Move MC_replay_liveness() as a static function...
2016-03-15 Gabriel Corona[mc] Remove split the MCed and MCer part of MC_deadlock...
2016-03-15 Gabriel Corona[mc] Make 'colors' variable static
2016-03-15 Gabriel Corona[mc] Remove remaining bits of parmap in MC (not used)
2016-03-15 Gabriel Corona[mc] Remove useless stuff in mc_private.h
2016-03-15 Gabriel Corona[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h
2016-02-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-29 Gabriel CoronaRemove xbt_sha
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
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
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 stacks_areas into Process
2015-11-23 Gabriel Corona[mc] Remove useless bits
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-12 Gabriel Corona[mc] Simplification, remove profiling code
2015-11-12 Gabriel Corona[mc] Merge Server class into ModelChecker
2015-11-10 Gabriel Corona[mc] Generate a message showing the path on crash of...
2015-11-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-05 Gabriel Corona[smpi] Use virtual memory layout to find the data segment
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] Move MC_important_snapshot() as a method of ModelC...
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-02 Gabriel Corona[mc] Bring back soft-dirty tracking from the dead 💀
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-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_global_t::stacks a std::vector
2015-06-09 Gabriel Corona[mc] Move s_local_variable in mc_snapshot.h
2015-05-28 Gabriel Corona[mc] Make Process::memory_map_ a std::vector
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] Cleanup MC init code (split MCer and MCed init)
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-23 Marion Guthmullermodel-checker : really fix mc dependancies with MC...
2015-04-23 Marion Guthmullermodel-checker : fix dependancies without MC
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-16 Gabriel Corona[mc] Remove mc_set.cpp
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien
2015-04-04 Martin Quinsonmv msg/msg.h simgrid/msg.h
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation
2015-03-12 Gabriel Corona[mc] Fetch simix_process_maxpid from MCed
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-24 Marion Guthmullermodel-checker : non-progressive cycle detection (enable...
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-09 Marion Guthmullermodel-checker : intermediate backtracking with model...
2015-02-06 Gabriel Corona[mc] Implement remote support for MC_ignore
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...
2015-01-09 Gabriel Corona[mc] Remove remaining bits on hardcoded object list
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-04 Gabriel Corona[mc] Don't use unprototyped functions
2014-12-04 Gabriel Corona[mc] Remove useless header #includes
2014-12-02 Gabriel Corona[mc] Modularise header files for MC
2014-12-02 Gabriel Corona[mc] Define a type for MC object information flags
2014-12-01 Gabriel Corona[mc] Enable MC specific behaviour in replay mode
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-06 Gabriel Corona[mc] Add MC_dump_stacks
2014-11-04 Marion Guthmullermodel-checker : save and restore file descriptors
2014-11-02 Martin Quinsonrename smx_action_t to smx_synchro_t
2014-10-31 Gabriel Corona[mc] Make MC_resolve_subtype() and MC_resolve_subtype...
2014-10-30 Gabriel Corona[mc] Document/simplify MC_request_is_enabled()
2014-10-30 Gabriel Corona[mc] DRY with mc_update_comm_pattern() (broken)
2014-10-30 Gabriel Corona[mc] DRY by adding get_call_type()
2014-10-30 Gabriel Corona[mc] Try to DRY in MC main loops
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-13 Lucas Mello SchnorrMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-13 Gabriel Corona[mc] Prepare support for register location in DWARF...
2014-10-09 Martin Quinsonmake my previous commit also compile under MC (sorry)
2014-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-09 Gabriel Corona[mc] Give the real type of mc_heap/std_heap (xbt_mheap_...
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-25 Gabriel Corona[mc] Make state/snapshot comparison work with SMPI...
2014-07-25 Gabriel CoronaMerge branch 'mc'
2014-07-25 Gabriel Corona[mc] Change the signature of mc_restore_page_snapshot_r...
2014-07-24 Gabriel CoronaMerge remote-tracking branch 'origin/mc-fastsnapshot...
2014-07-24 Gabriel Corona[mc] Use mc_region_contain where it could be used
2014-07-24 Gabriel Corona[mc] Udpate doxygen comments
2014-07-10 Gabriel Corona[mc] Fix name of mc_snapshot_memcmp()
next