Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
routing: rename and sort things
[simgrid.git] / src / mc /
2016-02-12 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-02-12 Gabriel Corona[mc] Fix MC cross-process memory access tree | commitdiff
2016-02-12 Gabriel Corona[mc] Fix testall tree | commitdiff
2016-02-11 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-02-11 Gabriel CoronaRevert "[mc] Fix loop bound checking using heaplimit" tree | commitdiff
2016-02-11 Gabriel Corona[mc] Use ucontext_t instead of void* in some places tree | commitdiff
2016-02-11 Gabriel Corona[mc] Hack to workaround weird/unexpected DWARF tree | commitdiff
2016-02-11 Gabriel Corona[mc] Use first/last instead of start/end in ObjectInfor... tree | commitdiff
2016-02-11 Gabriel Corona[mc] Fix binary search removal in ObjectInformation... tree | commitdiff
2016-02-09 Gabriel Corona[mc] Really unblock the signal in the child tree | commitdiff
2016-02-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-02-09 degommeSometimes (ubuntu 15.10 for us) sighup was blocked... tree | commitdiff
2016-02-07 Martin Quinsongreatly reduce the amount of atoi in our codebase tree | commitdiff
2016-02-02 fabienchaixMerge pull request #1 from mquinson/master tree | commitdiff
2016-02-01 Martin QuinsonMerge pull request #57 from fabienchaix/oldstyle_elemen... tree | commitdiff
2016-01-31 degommelooks like a bug (doesn't fix the tests, though) tree | commitdiff
2016-01-30 degommeThis comparison was wrong - Thanks gcc 6.0 for the... tree | commitdiff
2016-01-30 degommeThese consts were wrong - Thanks gcc 6.0 for the warning tree | commitdiff
2016-01-16 Martin Quinsonwoopsy, adapt MC to the previous change tree | commitdiff
2016-01-15 Gabriel Corona[mc] Fix the hash computation tree | commitdiff
2016-01-15 degommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-01-15 Gabriel Corona[mc] Fix compilation tree | commitdiff
2016-01-13 Gabriel CoronaMerge simgrid::Host into simgrid::s4u::Host tree | commitdiff
2016-01-11 Martin Quinsonmake MC compile with -Wmissing-declaration tree | commitdiff
2016-01-09 Martin Quinsoncompile with -Wmissing-declarations to catch more errors tree | commitdiff
2016-01-08 Gabriel CoronaMake XBT_TEST_UNIT() work in C++ tree | commitdiff
2015-12-24 Martin Quinsonmake MC compile out of tree tree | commitdiff
2015-12-23 Martin Quinsongive the VM a link to their PM as a simgrid::Host tree | commitdiff
2015-12-16 Gabriel Corona[mc] Fix the MC wrt the simgrid::Host modification tree | commitdiff
2015-12-15 Gabriel CoronaUse simgrid::Host instead of xbt_dictelt_t for root... tree | commitdiff
2015-12-12 Martin Quinsonfix build of MC after the recent changes tree | commitdiff
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard... tree | commitdiff
2015-11-26 Gabriel Corona[mc] Add missing copyright notices tree | commitdiff
2015-11-26 Gabriel Corona[mc] Better #includes tree | commitdiff
2015-11-26 Gabriel Corona[mc] Remove .. in #includes tree | commitdiff
2015-11-23 Gabriel Corona[mc] Remove mcer_ignore.cpp tree | commitdiff
2015-11-23 Gabriel Corona[mc] Move ignore_local_variable() into Process tree | commitdiff
2015-11-23 Gabriel Corona[mc] Move heap_ignore to Process tree | commitdiff
2015-11-23 Gabriel Corona[mc] Move stacks_areas into Process tree | commitdiff
2015-11-23 Gabriel Corona[mc] Remove MCer_ignore_global_variable tree | commitdiff
2015-11-23 Gabriel Corona[mc] Remove useless bits tree | commitdiff
2015-11-17 Gabriel Corona[mc] Move MC-related out of simix and into mc where... tree | commitdiff
2015-11-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-11-16 Gabriel Corona[mc] Better explanation for DW_OP_call_frame_cfa tree | commitdiff
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-11-12 Gabriel Corona[mc] Make mc_diff_info static tree | commitdiff
2015-11-12 Gabriel Corona[mc] Simplification, remove profiling code tree | commitdiff
2015-11-12 Gabriel Corona[mc] Move the MCer wait_for_requests logic outside... tree | commitdiff
2015-11-12 Gabriel Corona[mc] Merge Server class into ModelChecker tree | commitdiff
2015-11-12 Gabriel Corona[mc] Remove Process:status_ tree | commitdiff
2015-11-12 Gabriel Corona[mc] Replace some exit() calls by return tree | commitdiff
2015-11-12 Gabriel Corona[mc] Move privatization flag initialization tree | commitdiff
2015-11-10 Gabriel Corona[mc] Fix exit status naming convention tree | commitdiff
2015-11-10 Gabriel Corona[mc] Move Server in simgrid::mc tree | commitdiff
2015-11-10 Gabriel Corona[mc] Simplify mc_server tree | commitdiff
2015-11-10 Gabriel Corona[mc] Fix privatisation support tree | commitdiff
2015-11-10 Gabriel Corona[mc] Generate a message showing the path on crash of... tree | commitdiff
2015-11-09 Gabriel Corona[mc] Move model-checker message processing logic in... tree | commitdiff
2015-11-09 Gabriel Corona[mc] ptrace the model-checker application tree | commitdiff
2015-11-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-11-05 Gabriel Corona[smpi] Use virtual memory layout to find the data segment tree | commitdiff
2015-11-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-11-02 Gabriel Corona[mc] Fix error in dependency checking tree | commitdiff
2015-11-02 Gabriel Corona[mc] DRY in MC_request_depend() tree | commitdiff
2015-11-02 Gabriel Corona[mc] Use std::vector for Process::heap_info tree | commitdiff
2015-11-02 Gabriel Corona[mc] Use std::unique_ptr for Process::heap tree | commitdiff
2015-11-01 Martin Quinsonadd another library to the whitelist of ignored debuggi... tree | commitdiff
2015-10-25 Martin QuinsonReduce the amount of implicit include directories tree | commitdiff
2015-10-25 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-10-24 degommeforgot this one tree | commitdiff
2015-10-24 degommetry to fix some compilation erros tree | commitdiff
2015-10-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-10-15 Gabriel Corona[mc] Add std:: namespace for some types tree | commitdiff
2015-10-15 Gabriel Corona[mc] Use std::unordered* instead of boost:: ones tree | commitdiff
2015-10-15 Gabriel Corona[mc] Fix ModelChecker::is_important_snapshot(), do... tree | commitdiff
2015-10-15 Gabriel Corona[mc] Use std::pair and std::unordered_set in mc_compare tree | commitdiff
2015-10-15 Gabriel Corona[mc] Remove BOOST_FOREACH usage tree | commitdiff
2015-10-15 Gabriel Corona[mc] Rename PerPageCopy to ChunkedData (and move in... tree | commitdiff
2015-10-15 Gabriel Corona[mc] Documentation tree | commitdiff
2015-10-15 Gabriel Corona[mc] Remove useless *_free_voidp functions tree | commitdiff
2015-10-15 Gabriel Corona[mc] Cleanup in DwarfExpression tree | commitdiff
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
next
Clone of SimGrid repository with local patches