Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of github.com:mquinson/simgrid
[simgrid.git] / src / mc /
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 Gabriel CoronaRemove/cleanup/fix #include
2016-02-26 Gabriel Corona[mc] s/NULL/nullptr/
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 CoronaRemove some #include
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Fix previous commit
2016-02-26 Gabriel Corona[mc] Homogeneise throwned system_error
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Cleanup/reorganise the code of simgrid_mc
2016-02-26 Gabriel Corona[mc] Documentation for Type and Member
2016-02-26 Gabriel Corona[mc] Remove Type::is_pointer_type
2016-02-26 Gabriel Corona[mc] Member initialization in Variable, Member, Type
2016-02-26 Gabriel Corona[mc] Move some code into simgrid::mc namespace
2016-02-26 Gabriel Corona[mc] Don't leave model-checked processes around
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set'
2016-02-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-23 Martin Quinsonreduce the amount of includes to speed up recompilations
2016-02-23 Gabriel Corona[mc] Remove a ugly special case in LocationListEntry
2016-02-23 Gabriel Corona[mc] Cleanup LocationListEntry
2016-02-23 Gabriel Corona[mc] Cleanup/documentation for simgrid::mc::Frame
2016-02-23 Gabriel Corona[mc] Move remote_ptr in its own file
2016-02-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-23 degommeFix build with mc
2016-02-23 Gabriel Corona[mc] Partial cleanup of the initialisation of the diffe...
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master
2016-02-23 degommebasename -> xbt_basename
2016-02-22 Gabriel Corona[mc] Use simgrid::xbt::range for program-counter ranges
2016-02-22 Gabriel Corona[mc] Remove unsafe method ChunkedData::pagenos() (non...
2016-02-22 Gabriel Corona[mc] Doc/cleanup ChunkedData
2016-02-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-22 Gabriel Corona[mc] Fix ReadOptions
2016-02-22 Gabriel Corona[mc] Replace ReadMode with strongly-type/safe ReadOptions
2016-02-22 Gabriel Corona[mc] Documentation of AddressSpace
2016-02-22 Gabriel Corona[mc] Document/clean DwarfExpression
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-12 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-12 Gabriel Corona[mc] Fix MC cross-process memory access
2016-02-12 Gabriel Corona[mc] Fix testall
2016-02-11 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-11 Gabriel CoronaRevert "[mc] Fix loop bound checking using heaplimit"
2016-02-11 Gabriel Corona[mc] Use ucontext_t instead of void* in some places
2016-02-11 Gabriel Corona[mc] Hack to workaround weird/unexpected DWARF
2016-02-11 Gabriel Corona[mc] Use first/last instead of start/end in ObjectInfor...
2016-02-11 Gabriel Corona[mc] Fix binary search removal in ObjectInformation...
2016-02-09 Gabriel Corona[mc] Really unblock the signal in the child
2016-02-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-09 degommeSometimes (ubuntu 15.10 for us) sighup was blocked...
2016-02-07 Martin Quinsongreatly reduce the amount of atoi in our codebase
2016-02-02 fabienchaixMerge pull request #1 from mquinson/master
2016-02-01 Martin QuinsonMerge pull request #57 from fabienchaix/oldstyle_elemen...
2016-01-31 degommelooks like a bug (doesn't fix the tests, though)
2016-01-30 degommeThis comparison was wrong - Thanks gcc 6.0 for the...
2016-01-30 degommeThese consts were wrong - Thanks gcc 6.0 for the warning
2016-01-16 Martin Quinsonwoopsy, adapt MC to the previous change
2016-01-15 Gabriel Corona[mc] Fix the hash computation
2016-01-15 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-01-15 Gabriel Corona[mc] Fix compilation
2016-01-13 Gabriel CoronaMerge simgrid::Host into simgrid::s4u::Host
2016-01-11 Martin Quinsonmake MC compile with -Wmissing-declaration
2016-01-09 Martin Quinsoncompile with -Wmissing-declarations to catch more errors
2016-01-08 Gabriel CoronaMake XBT_TEST_UNIT() work in C++
2015-12-24 Martin Quinsonmake MC compile out of tree
2015-12-23 Martin Quinsongive the VM a link to their PM as a simgrid::Host
2015-12-16 Gabriel Corona[mc] Fix the MC wrt the simgrid::Host modification
2015-12-15 Gabriel CoronaUse simgrid::Host instead of xbt_dictelt_t for root...
2015-12-12 Martin Quinsonfix build of MC after the recent changes
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Add missing copyright notices
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-26 Gabriel Corona[mc] Remove .. in #includes
2015-11-23 Gabriel Corona[mc] Remove mcer_ignore.cpp
2015-11-23 Gabriel Corona[mc] Move ignore_local_variable() into Process
2015-11-23 Gabriel Corona[mc] Move heap_ignore to Process
2015-11-23 Gabriel Corona[mc] Move stacks_areas into Process
2015-11-23 Gabriel Corona[mc] Remove MCer_ignore_global_variable
2015-11-23 Gabriel Corona[mc] Remove useless bits
2015-11-17 Gabriel Corona[mc] Move MC-related out of simix and into mc where...
2015-11-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-16 Gabriel Corona[mc] Better explanation for DW_OP_call_frame_cfa
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-12 Gabriel Corona[mc] Make mc_diff_info static
2015-11-12 Gabriel Corona[mc] Simplification, remove profiling code
2015-11-12 Gabriel Corona[mc] Move the MCer wait_for_requests logic outside...
2015-11-12 Gabriel Corona[mc] Merge Server class into ModelChecker
2015-11-12 Gabriel Corona[mc] Remove Process:status_
2015-11-12 Gabriel Corona[mc] Replace some exit() calls by return
2015-11-12 Gabriel Corona[mc] Move privatization flag initialization
2015-11-10 Gabriel Corona[mc] Fix exit status naming convention
2015-11-10 Gabriel Corona[mc] Move Server in simgrid::mc
2015-11-10 Gabriel Corona[mc] Simplify mc_server
2015-11-10 Gabriel Corona[mc] Fix privatisation support
2015-11-10 Gabriel Corona[mc] Generate a message showing the path on crash of...
2015-11-09 Gabriel Corona[mc] Move model-checker message processing logic in...
2015-11-09 Gabriel Corona[mc] ptrace the model-checker application
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
next