Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[L07] Don't segfault on point-to-point communications
[simgrid.git] / src / mc /
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-11-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-02 Gabriel Corona[mc] Fix error in dependency checking
2015-11-02 Gabriel Corona[mc] DRY in MC_request_depend()
2015-11-02 Gabriel Corona[mc] Use std::vector for Process::heap_info
2015-11-02 Gabriel Corona[mc] Use std::unique_ptr for Process::heap
2015-11-01 Martin Quinsonadd another library to the whitelist of ignored debuggi...
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-25 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-24 degommeforgot this one
2015-10-24 degommetry to fix some compilation erros
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] Use std::unordered* instead of boost:: ones
2015-10-15 Gabriel Corona[mc] Fix ModelChecker::is_important_snapshot(), do...
2015-10-15 Gabriel Corona[mc] Use std::pair and std::unordered_set in mc_compare
2015-10-15 Gabriel Corona[mc] Remove BOOST_FOREACH usage
2015-10-15 Gabriel Corona[mc] Rename PerPageCopy to ChunkedData (and move in...
2015-10-15 Gabriel Corona[mc] Documentation
2015-10-15 Gabriel Corona[mc] Remove useless *_free_voidp functions
2015-10-15 Gabriel Corona[mc] Cleanup in DwarfExpression
2015-10-15 Gabriel Corona[mc] Move mc_dwarf_location_list_init() into namespace
2015-10-15 Gabriel Corona[mc] OOify mc_find_frame_base()
2015-10-15 Gabriel Corona[mc] OOify LocationLists, Location
2015-10-15 Gabriel Corona[mc] Fix Snapshot::read_bytes
2015-10-15 Gabriel Corona[mc] OOify DWARF stack/evaluation expression
2015-10-15 Gabriel Corona[mc] Simplify MC_find_object_info
2015-10-15 Gabriel Corona[mc] Remove useless declarations
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace
2015-10-15 Gabriel Corona[mc] Remove useless declarations
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace
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] Move MC_important_snapshot() as a method of ModelC...
2015-10-09 Gabriel Corona[mc] Move some code out of is_visited_state()
2015-10-09 Gabriel Corona[mc] Reduce the scope of some variables in mc_visited.cpp
2015-10-09 Gabriel Corona[mc] Factorisation in mc_visited.cpp
2015-10-09 Gabriel Corona[mc] Create a Member for for structure/class/union...
2015-10-09 Gabriel Corona[mc] Add AddressSpace::process() method
2015-10-09 Gabriel Corona[mc] Make Process and Snapshot classes final
2015-10-09 Gabriel Corona[mc] Remove Process.is_self()
2015-10-09 Gabriel Corona[mc] Move typedef in correct header
2015-10-09 Gabriel Corona[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
2015-10-09 Gabriel Corona[mc] Cleanup mc_hash.cpp
2015-10-09 Gabriel Corona[mc] Remove commented-out code in mc_diff.cpp
2015-10-09 Gabriel Corona[mc] Cleanup #includes
2015-10-09 Gabriel Corona[mc] Fix location expression initialization
2015-10-09 Gabriel Corona[mc] Fix memory leak in MC_get_memory_regions()
2015-10-09 Gabriel Corona[mc] Fix loop bound checking using heaplimit
2015-10-02 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-02 Gabriel Corona[mc] Really remove mc_libdw for now
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 CoronaRevert "[mc] Fix initialisation of dwarf expression"
2015-10-02 Gabriel CoronaRevert "[mc] Remove remaining bits of libdw outside...
2015-10-02 Gabriel Corona[mc] Bring back soft-dirty tracking from the dead 💀
2015-10-02 Gabriel Corona[mc] Quick hack to display system memory information...
2015-10-02 Gabriel Corona[mc] Bring back KSM (MADV_MERGEABLE) support
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 CoronaHide more mc symbols
2015-10-01 Gabriel CoronaDetect/fix conflicting visibility and fix visibility...
2015-10-01 Gabriel Corona[mc] Mark some internal symbols as hidden on ELF in mc
2015-09-21 Gabriel Corona[mc] Add missing #include
2015-09-18 Gabriel Corona[mc] Fix missing #include in Windows
2015-09-18 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-09-17 Gabriel Corona[mc] Fix missing #include
2015-09-17 Gabriel Corona[mc] Remove remaining bits of libdw outside of mc_libdw...
2015-09-17 Gabriel Corona[mc] Use string::compare instead of strcmp
2015-09-17 Gabriel Corona[mc] Fix initialisation of dwarf expression
2015-09-17 Gabriel Corona[mc] Move libdw binding code in its own file
2015-09-17 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-09-14 Gabriel Corona[mc] Fix SimGridMC when SMPI is disabled
2015-09-10 Martin Quinson[MC] add a lib to the whitelist of libs that are not...
2015-09-10 Gabriel Corona[mc] Better explanation when complaining about the...
2015-09-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-08 Martin QuinsonFix a misleading output
2015-09-07 Gabriel Corona[mc] Add some boost libs to our debugging whitelisting
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-07 Gabriel Corona[mc] Stylistic changes in mc_dwarf.cpp
2015-09-07 Gabriel Corona[mc] Simplify MC_dwarf_get_variables()
2015-09-07 Gabriel Corona[mc] Use UNW_REG_SP insteaf of UNW_TDP_SP
2015-09-07 Gabriel Corona[mc] Use target preprocessor symbol instead of UNW_TARG...
2015-09-07 Gabriel CoronaMerge remote-tracking branch 'origin2/master'
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-07 Gabriel Corona[mc] Display region type name
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag
2015-09-01 Gabriel Corona[mc] Remove remaining parts of the single-process mode
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Gabriel CoronaDisable lazy relocation in the model-ched process.
2015-08-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Gabriel Corona[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid...
2015-08-27 Martin QuinsonMerge branch 'master' into S4U
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-25 Gabriel Corona[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
next