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
remove surf_routing.hpp
[simgrid.git]
/
src
/
mc
/
2016-12-15
Martin Quinson
MC: ignore a new boost-related library
tree
|
commitdiff
2016-12-15
Martin Quinson
fix MC build with paranoid flags
tree
|
commitdiff
2016-12-01
Martin Quinson
Merge branch 'master' of github.com:simgrid/simgrid
tree
|
commitdiff
2016-12-01
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-11-30
Millian Poquet
Merge branch 'master' of https://github.com/mpoquet...
tree
|
commitdiff
2016-11-29
degomme
On Freebsd with clang > 3.8, sometimes we have a null...
tree
|
commitdiff
2016-11-29
Matthieu Volat
Switch the event handling in the MC to libevent.
tree
|
commitdiff
2016-11-29
Matthieu Volat
Add more libraries to blacklist.
tree
|
commitdiff
2016-11-29
Matthieu Volat
BSD/SysV ptrace resume addr is 1, not 0 like in linux.
tree
|
commitdiff
2016-11-28
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-11-28
Matthieu Volat
More ptrace portability in model checker.
tree
|
commitdiff
2016-11-28
Matthieu Volat
Add support to retrieve FreeBSD ucontext registers.
tree
|
commitdiff
2016-11-28
Matthieu Volat
Add alternative to remap() in PageStore when not available.
tree
|
commitdiff
2016-11-28
Matthieu Volat
Set waitpid() for model-checked flags according to...
tree
|
commitdiff
2016-11-22
Martin Quinson
move VM into their namespace, and greatly reduce the...
tree
|
commitdiff
2016-11-07
Matthieu Volat
Allow to use BSD ptrace().
tree
|
commitdiff
2016-11-07
Matthieu Volat
Build ID are somewhat gnu/linux specific.
tree
|
commitdiff
2016-11-04
degomme
clang complains about these seemingly unecessary std...
tree
|
commitdiff
2016-11-04
Matthieu Volat
Make simgrid::mc::HeapLocation instanciation C++11...
tree
|
commitdiff
2016-11-01
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2016-11-01
Matthieu Volat
Use BYTE_ORDER macro, not private __BYTE_ORDER
tree
|
commitdiff
2016-11-01
Matthieu Volat
MADV_MERGEABLE is available on linux, guard it.
tree
|
commitdiff
2016-11-01
Matthieu Volat
Use MAP_PREFAULT_READ on FreeBSD as en equivalent to...
tree
|
commitdiff
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
next