A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[mc] Fix PID mismatch in snapshot
[simgrid.git]
/
src
/
mc
/
2016-03-01
Gabriel Corona
[mc] Fix PID mismatch in snapshot
tree
|
commitdiff
2016-03-01
Martin Quinson
rename smx_rdv_t into smx_mailbox_t. One day it will...
tree
|
commitdiff
2016-03-01
Gabriel Corona
Coding style: camel case RemotePtr
tree
|
commitdiff
2016-03-01
Gabriel Corona
[mc] Don't expose the Type in Buffer
tree
|
commitdiff
2016-03-01
Gabriel Corona
Coding style: camel case Buffer
tree
|
commitdiff
2016-02-29
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-02-29
Gabriel Corona
Remove xbt_sha
tree
|
commitdiff
2016-02-29
Julien Gossa
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-02-29
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-02-29
Gabriel Corona
Remove static tracepoint support
tree
|
commitdiff
2016-02-29
Gabriel Corona
[mc] Cleanup RegionSnapshot buffer code
tree
|
commitdiff
2016-02-27
Martin Quinson
Merge pull request #65 from fabienchaix/master
tree
|
commitdiff
2016-02-26
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-02-26
Gabriel Corona
Remove/cleanup/fix #include
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] s/NULL/nullptr/
tree
|
commitdiff
2016-02-26
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-02-26
Gabriel Corona
Remove/cleanup/fix some #include
tree
|
commitdiff
2016-02-26
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-02-26
Gabriel Corona
Remove some #include
tree
|
commitdiff
2016-02-26
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Fix previous commit
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Homogeneise throwned system_error
tree
|
commitdiff
2016-02-26
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Cleanup/reorganise the code of simgrid_mc
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Documentation for Type and Member
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Remove Type::is_pointer_type
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Member initialization in Variable, Member, Type
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Move some code into simgrid::mc namespace
tree
|
commitdiff
2016-02-26
Gabriel Corona
[mc] Don't leave model-checked processes around
tree
|
commitdiff
2016-02-24
Fabien Chaix
Merge branch 'oldstyle_element_set'
tree
|
commitdiff
2016-02-23
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-02-23
Martin Quinson
reduce the amount of includes to speed up recompilations
tree
|
commitdiff
2016-02-23
Gabriel Corona
[mc] Remove a ugly special case in LocationListEntry
tree
|
commitdiff
2016-02-23
Gabriel Corona
[mc] Cleanup LocationListEntry
tree
|
commitdiff
2016-02-23
Gabriel Corona
[mc] Cleanup/documentation for simgrid::mc::Frame
tree
|
commitdiff
2016-02-23
Gabriel Corona
[mc] Move remote_ptr in its own file
tree
|
commitdiff
2016-02-23
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-02-23
degomme
Fix build with mc
tree
|
commitdiff
2016-02-23
Gabriel Corona
[mc] Partial cleanup of the initialisation of the diffe...
tree
|
commitdiff
2016-02-23
fabienchaix
Merge pull request #2 from mquinson/master
tree
|
commitdiff
2016-02-23
degomme
basename -> xbt_basename
tree
|
commitdiff
2016-02-22
Gabriel Corona
[mc] Use simgrid::xbt::range for program-counter ranges
tree
|
commitdiff
2016-02-22
Gabriel Corona
[mc] Remove unsafe method ChunkedData::pagenos() (non...
tree
|
commitdiff
2016-02-22
Gabriel Corona
[mc] Doc/cleanup ChunkedData
tree
|
commitdiff
2016-02-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-02-22
Gabriel Corona
[mc] Fix ReadOptions
tree
|
commitdiff
2016-02-22
Gabriel Corona
[mc] Replace ReadMode with strongly-type/safe ReadOptions
tree
|
commitdiff
2016-02-22
Gabriel Corona
[mc] Documentation of AddressSpace
tree
|
commitdiff
2016-02-22
Gabriel Corona
[mc] Document/clean DwarfExpression
tree
|
commitdiff
2016-02-20
Martin Quinson
Merge branch 'coverity_scan' of github.com:mquinson...
tree
|
commitdiff
2016-02-12
Frederic Suter
Merge 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 Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-02-11
Gabriel Corona
Revert "[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 Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-02-09
degomme
Sometimes (ubuntu 15.10 for us) sighup was blocked...
tree
|
commitdiff
2016-02-07
Martin Quinson
greatly reduce the amount of atoi in our codebase
tree
|
commitdiff
2016-02-02
fabienchaix
Merge pull request #1 from mquinson/master
tree
|
commitdiff
2016-02-01
Martin Quinson
Merge pull request #57 from fabienchaix/oldstyle_elemen...
tree
|
commitdiff
2016-01-31
degomme
looks like a bug (doesn't fix the tests, though)
tree
|
commitdiff
2016-01-30
degomme
This comparison was wrong - Thanks gcc 6.0 for the...
tree
|
commitdiff
2016-01-30
degomme
These consts were wrong - Thanks gcc 6.0 for the warning
tree
|
commitdiff
2016-01-16
Martin Quinson
woopsy, adapt MC to the previous change
tree
|
commitdiff
2016-01-15
Gabriel Corona
[mc] Fix the hash computation
tree
|
commitdiff
2016-01-15
degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-01-15
Gabriel Corona
[mc] Fix compilation
tree
|
commitdiff
2016-01-13
Gabriel Corona
Merge simgrid::Host into simgrid::s4u::Host
tree
|
commitdiff
2016-01-11
Martin Quinson
make MC compile with -Wmissing-declaration
tree
|
commitdiff
2016-01-09
Martin Quinson
compile with -Wmissing-declarations to catch more errors
tree
|
commitdiff
2016-01-08
Gabriel Corona
Make XBT_TEST_UNIT() work in C++
tree
|
commitdiff
2015-12-24
Martin Quinson
make MC compile out of tree
tree
|
commitdiff
2015-12-23
Martin Quinson
give 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 Corona
Use simgrid::Host instead of xbt_dictelt_t for root...
tree
|
commitdiff
2015-12-12
Martin Quinson
fix build of MC after the recent changes
tree
|
commitdiff
2015-12-11
Luka Stanisic
Merging 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 Quinson
Merge 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 Quinson
Merge 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
next