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
Use a deque instead of an intrusive hook for all VMs
[simgrid.git]
/
src
/
mc
/
2016-08-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-08-14
Martin Quinson
rename smx_process_t to smx_actor_t
tree
|
commitdiff
2016-08-11
Martin Quinson
Merge pull request #107 from adfaure/master
tree
|
commitdiff
2016-08-11
Martin Quinson
MC request_enabled: add documentation and an explosive...
tree
|
commitdiff
2016-08-07
Martin Quinson
rename smx_synchro_t to smx_activity_t
tree
|
commitdiff
2016-08-07
Martin Quinson
Rename kernel::activity::Synchro into kernel::activity...
tree
|
commitdiff
2016-08-07
Martin Quinson
various documentation improvements
tree
|
commitdiff
2016-08-03
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-08-03
Frederic Suter
track all the useless void
tree
|
commitdiff
2016-08-01
Martin Quinson
fix MC builds this time
tree
|
commitdiff
2016-08-01
Martin Quinson
Populate the kernel::context namespace and continue...
tree
|
commitdiff
2016-08-01
Martin Quinson
Rename smx_process to ActorImpl
tree
|
commitdiff
2016-07-31
Martin Quinson
align namespaces on directories for kernel::activity
tree
|
commitdiff
2016-07-31
Martin Quinson
move parts of the kernel to the right subdir
tree
|
commitdiff
2016-07-31
Martin Quinson
woops, fix MC builds
tree
|
commitdiff
2016-07-30
Martin Quinson
move the synchronization stuff to its own directory
tree
|
commitdiff
2016-07-28
degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-07-22
Gabriel Corona
Merge s4u wait_any
tree
|
commitdiff
2016-07-22
Gabriel Corona
[simix] Dexbtization: remove xbt_dynar_t argument in...
tree
|
commitdiff
2016-07-21
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-07-21
Gabriel Corona
[mc] this_actor, wait_for and wait_until
tree
|
commitdiff
2016-07-21
Gabriel Corona
[mc] Documentation
tree
|
commitdiff
2016-07-20
Gabriel Corona
Merge remote-tracking branch 'adfaure/master'
tree
|
commitdiff
2016-07-20
Gabriel Corona
[mc] Fix NT_GNU_BUILD_ID support
tree
|
commitdiff
2016-07-20
Gabriel Corona
[mc] Add documentation and fix some things
tree
|
commitdiff
2016-07-18
Martin Quinson
fix some typos
tree
|
commitdiff
2016-07-18
Gabriel Corona
Merge commit '458ff11'
tree
|
commitdiff
2016-07-18
Gabriel Corona
[mc] Remove unused pointer_to_data_member trait
tree
|
commitdiff
2016-07-18
Gabriel Corona
[mc] Documentation cleanup
tree
|
commitdiff
2016-07-18
Gabriel Corona
[mc] Avoid extra memory allocation and fix off-by-one...
tree
|
commitdiff
2016-07-18
Gabriel Corona
[mc] Better documentation of AddressSpace
tree
|
commitdiff
2016-07-11
Gabriel Corona
[mc] Remove xbt_dict in ModelChecker
tree
|
commitdiff
2016-07-05
Gabriel Corona
Fix MC
tree
|
commitdiff
2016-06-28
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-06-26
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-25
degomme
ignore all sanitizers
tree
|
commitdiff
2016-06-25
Martin Quinson
MC: ignore the library of gcc's sanitizer
tree
|
commitdiff
2016-06-24
Gabriel Corona
Remove some useless #includes
tree
|
commitdiff
2016-06-23
Gabriel Corona
Fix compilation of MC
tree
|
commitdiff
2016-06-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-22
Gabriel Corona
Merge get-pid
tree
|
commitdiff
2016-06-22
Gabriel Corona
[simix] Fix extern 'C' error from clang
tree
|
commitdiff
2016-06-22
Gabriel Corona
[simix] More generic mapping between function name...
tree
|
commitdiff
2016-06-17
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-17
Christian Heinrich
[SMPI/MC] Use std::strlen() instead of manual counting.
tree
|
commitdiff
2016-06-16
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-06-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-14
degomme
fix build with MC but without SMPI
tree
|
commitdiff
2016-06-14
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-06-14
Gabriel Corona
[simix] Make Mutex a C++ class (kind-of)
tree
|
commitdiff
2016-06-12
Martin Quinson
spellcheck mc. Don't ask why
tree
|
commitdiff
2016-05-31
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-05-31
Gabriel Corona
Use boost::range algorithms
tree
|
commitdiff
2016-05-31
Gabriel Corona
Use boost::range algorithms
tree
|
commitdiff
2016-05-31
Gabriel Corona
[simix] DeXFTification of Synchro: use std::list<>...
tree
|
commitdiff
2016-05-30
Gabriel Corona
Make some constructors explicit
tree
|
commitdiff
2016-05-30
Gabriel Corona
Avoid multiple declaration on the same line/statement
tree
|
commitdiff
2016-05-26
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-26
Gabriel Corona
[simix] Use C++ templates for generating the marshaling...
tree
|
commitdiff
2016-05-23
Gabriel Corona
[mc] Fix remote access to the new Process structure
tree
|
commitdiff
2016-05-12
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-11
Gabriel Corona
[mc] Generalize AddressSpace::read<T>() to return a...
tree
|
commitdiff
2016-05-11
Gabriel Corona
[mc] Fix MC with the class-hierarchification of simgrid...
tree
|
commitdiff
2016-05-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-06
Martin Quinson
split smx_synchro_t into a hierarchy of C++ classes
tree
|
commitdiff
2016-05-06
Gabriel Corona
[mc] Use bool instead of int for match_pairs
tree
|
commitdiff
2016-05-06
Gabriel Corona
[mc] Don't use new/delete for HeapLocationPairs
tree
|
commitdiff
2016-05-06
Gabriel Corona
[mc] Use std::set for the list-of-heap-location-pairs
tree
|
commitdiff
2016-05-05
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Merge StateComparator with ComparisonState
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Move s_heap_area in compare.cpp
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Remove useless bits in compare.cpp
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Remove useless header file
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Merge mc_diff.cpp and mc_compare.cpp
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Remove __STDC_FORMAT_MACROS
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Simplified control flow
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Move some functions as methods of StateComparator
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Refactoring of the state comparison code
tree
|
commitdiff
2016-05-04
Gabriel Corona
[mc] Better documentation of weird-DWARF-issue workaround
tree
|
commitdiff
2016-05-02
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-05-02
Gabriel Corona
[config] Rewrite the config core
tree
|
commitdiff
2016-04-28
Gabriel Corona
[mc] Fix compilation when MC id disabled
tree
|
commitdiff
2016-04-28
Gabriel Corona
[mc] Remove redundant 'mc_mode' global variable
tree
|
commitdiff
2016-04-26
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-04-25
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-25
Martin Quinson
kebab-case some smpi options
tree
|
commitdiff
2016-04-25
Gabriel Corona
Use our own minimal signal implementation
tree
|
commitdiff
2016-04-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-21
Martin Quinson
useless global variable, hindering MC equality
tree
|
commitdiff
2016-04-21
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-21
Martin Quinson
refactor rdv to mailbox for consistency
tree
|
commitdiff
2016-04-20
Martin Quinson
spellchecking instead of sleeping
tree
|
commitdiff
2016-04-19
Gabriel Corona
[mc] Fix error in computation of Frame range when DW_AT...
tree
|
commitdiff
2016-04-19
Gabriel Corona
[mc] Fix ObjectInformation address computation
tree
|
commitdiff
2016-04-18
Gabriel Corona
[mc] Fix loop bound checking using heaplimit
tree
|
commitdiff
2016-04-18
Gabriel Corona
Clear errno when throwing an errno exception
tree
|
commitdiff
2016-04-15
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2016-04-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-04-14
degomme
gcc 6 warning --
tree
|
commitdiff
2016-04-14
Gabriel Corona
[mc] Fix this != nullptr remaining from previous refact...
tree
|
commitdiff
next