Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
seriously, me
[simgrid.git] / src / mc /
2015-10-15 Gabriel Corona[mc] Move mc_dwarf_location_list_init() into namespace tree | commitdiff
2015-10-15 Gabriel Corona[mc] OOify mc_find_frame_base() tree | commitdiff
2015-10-15 Gabriel Corona[mc] OOify LocationLists, Location tree | commitdiff
2015-10-15 Gabriel Corona[mc] Fix Snapshot::read_bytes tree | commitdiff
2015-10-15 Gabriel Corona[mc] OOify DWARF stack/evaluation expression tree | commitdiff
2015-10-15 Gabriel Corona[mc] Simplify MC_find_object_info tree | commitdiff
2015-10-15 Gabriel Corona[mc] Remove useless declarations tree | commitdiff
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace tree | commitdiff
2015-10-15 Gabriel Corona[mc] Remove useless declarations tree | commitdiff
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace tree | commitdiff
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace tree | commitdiff
2015-10-15 Gabriel Corona[mc] Move some code into simgrid::dwarf namespace tree | commitdiff
2015-10-13 Martin QuinsonMerge branch 'S4U' tree | commitdiff
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid tree | commitdiff
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-10-09 Gabriel Corona[mc] Move MC_important_snapshot() as a method of ModelC... tree | commitdiff
2015-10-09 Gabriel Corona[mc] Move some code out of is_visited_state() tree | commitdiff
2015-10-09 Gabriel Corona[mc] Reduce the scope of some variables in mc_visited.cpp tree | commitdiff
2015-10-09 Gabriel Corona[mc] Factorisation in mc_visited.cpp tree | commitdiff
2015-10-09 Gabriel Corona[mc] Create a Member for for structure/class/union... tree | commitdiff
2015-10-09 Gabriel Corona[mc] Add AddressSpace::process() method tree | commitdiff
2015-10-09 Gabriel Corona[mc] Make Process and Snapshot classes final tree | commitdiff
2015-10-09 Gabriel Corona[mc] Remove Process.is_self() tree | commitdiff
2015-10-09 Gabriel Corona[mc] Move typedef in correct header tree | commitdiff
2015-10-09 Gabriel Corona[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp tree | commitdiff
2015-10-09 Gabriel Corona[mc] Cleanup mc_hash.cpp tree | commitdiff
2015-10-09 Gabriel Corona[mc] Remove commented-out code in mc_diff.cpp tree | commitdiff
2015-10-09 Gabriel Corona[mc] Cleanup #includes tree | commitdiff
2015-10-09 Gabriel Corona[mc] Fix location expression initialization tree | commitdiff
2015-10-09 Gabriel Corona[mc] Fix memory leak in MC_get_memory_regions() tree | commitdiff
2015-10-09 Gabriel Corona[mc] Fix loop bound checking using heaplimit tree | commitdiff
2015-10-02 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid tree | commitdiff
2015-10-02 Gabriel Corona[mc] Really remove mc_libdw for now tree | commitdiff
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-10-02 Gabriel CoronaRevert "[mc] Move libdw binding code in its own file" tree | commitdiff
2015-10-02 Gabriel CoronaRevert "[mc] Fix initialisation of dwarf expression" tree | commitdiff
2015-10-02 Gabriel CoronaRevert "[mc] Remove remaining bits of libdw outside... tree | commitdiff
2015-10-02 Gabriel Corona[mc] Bring back soft-dirty tracking from the dead 💀 tree | commitdiff
2015-10-02 Gabriel Corona[mc] Quick hack to display system memory information... tree | commitdiff
2015-10-02 Gabriel Corona[mc] Bring back KSM (MADV_MERGEABLE) support tree | commitdiff
2015-10-02 Gabriel Corona[mc] Support for mmap-able snapthots tree | commitdiff
2015-10-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-10-01 Gabriel CoronaHide more mc symbols tree | commitdiff
2015-10-01 Gabriel CoronaDetect/fix conflicting visibility and fix visibility... tree | commitdiff
2015-10-01 Gabriel Corona[mc] Mark some internal symbols as hidden on ELF in mc tree | commitdiff
2015-09-21 Gabriel Corona[mc] Add missing #include tree | commitdiff
2015-09-18 Gabriel Corona[mc] Fix missing #include in Windows tree | commitdiff
2015-09-18 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid tree | commitdiff
2015-09-17 Gabriel Corona[mc] Fix missing #include tree | commitdiff
2015-09-17 Gabriel Corona[mc] Remove remaining bits of libdw outside of mc_libdw... tree | commitdiff
2015-09-17 Gabriel Corona[mc] Use string::compare instead of strcmp tree | commitdiff
2015-09-17 Gabriel Corona[mc] Fix initialisation of dwarf expression tree | commitdiff
2015-09-17 Gabriel Corona[mc] Move libdw binding code in its own file tree | commitdiff
2015-09-17 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid tree | commitdiff
2015-09-14 Gabriel Corona[mc] Fix SimGridMC when SMPI is disabled tree | commitdiff
2015-09-10 Martin Quinson[MC] add a lib to the whitelist of libs that are not... tree | commitdiff
2015-09-10 Gabriel Corona[mc] Better explanation when complaining about the... tree | commitdiff
2015-09-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-09-08 Martin QuinsonFix a misleading output tree | commitdiff
2015-09-07 Gabriel Corona[mc] Add some boost libs to our debugging whitelisting tree | commitdiff
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-09-07 Gabriel Corona[mc] Stylistic changes in mc_dwarf.cpp tree | commitdiff
2015-09-07 Gabriel Corona[mc] Simplify MC_dwarf_get_variables() tree | commitdiff
2015-09-07 Gabriel Corona[mc] Use UNW_REG_SP insteaf of UNW_TDP_SP tree | commitdiff
2015-09-07 Gabriel Corona[mc] Use target preprocessor symbol instead of UNW_TARG... tree | commitdiff
2015-09-07 Gabriel CoronaMerge remote-tracking branch 'origin2/master' tree | commitdiff
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-09-07 Gabriel Corona[mc] Display region type name tree | commitdiff
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag tree | commitdiff
2015-09-01 Gabriel Corona[mc] Remove remaining parts of the single-process mode tree | commitdiff
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-28 Gabriel CoronaDisable lazy relocation in the model-ched process. tree | commitdiff
2015-08-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-28 Gabriel Corona[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid... tree | commitdiff
2015-08-27 Martin QuinsonMerge branch 'master' into S4U tree | commitdiff
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-25 Gabriel Corona[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK tree | commitdiff
2015-08-09 Martin QuinsonMerge branch 'master' into S4U tree | commitdiff
2015-08-05 Martin QuinsonUpdate copyright notices tree | commitdiff
2015-08-02 Martin QuinsonMerge branch 'master' into S4U tree | commitdiff
2015-07-28 Gabriel Corona[mc] Use the real override tree | commitdiff
2015-07-27 Gabriel Corona[mc] Fix constness issue in MC_make_functions_index() tree | commitdiff
2015-07-27 Gabriel Corona[mc] Remove mc_object_info.cpp tree | commitdiff
2015-07-27 Gabriel Corona[mc] Remove useless functions tree | commitdiff
2015-07-27 Gabriel Corona[mc] Move Frame, ModelChecker, ObjectInformation, Type... tree | commitdiff
2015-07-25 Martin QuinsonRevert "Fix non-MC builds" tree | commitdiff
2015-07-25 Gabriel Corona[mc] Fix missing #include in non MC tree | commitdiff
2015-07-25 Martin QuinsonFix non-MC builds tree | commitdiff
2015-07-25 Gabriel Corona[mc] Move MC_random is mc_base.cpp tree | commitdiff
2015-07-25 Gabriel Coronas/smx_host/host/ because of API change tree | commitdiff
2015-07-25 Martin QuinsonRevert "Revert "[mc] Move MC_random() in mc_client_api... tree | commitdiff
2015-07-24 Martin QuinsonRevert "[mc] Move MC_random() in mc_client_api.cpp" tree | commitdiff
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Cleanup tree | commitdiff
2015-07-24 Gabriel Corona[mc] Do not #define __has_feature tree | commitdiff
2015-07-24 Gabriel Corona[mc] Cleanup mc_client_api.cpp tree | commitdiff
2015-07-24 Gabriel Corona[mc] Move MC_random() in mc_client_api.cpp tree | commitdiff
2015-07-24 kbaatiMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Do not trigger errors in MC_automaton_new_proposit... tree | commitdiff
next
Clone of SimGrid repository with local patches