Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
ok, I stop trying to please sonar.
[simgrid.git] / src / mc /
2017-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-08 Martin Quinsonfix copyright years and other psychotic cleanups
2017-03-07 degommeTry to have MC accept C++ requests... One assert commen...
2017-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-07 Martin QuinsonCleanups
2017-02-22 degommesomehow off_t is not enough there, and ends up being...
2017-02-22 degommeThis should be an off_t (breaks some 32 bits systems)
2017-02-10 Martin Quinsoneasily please sonar
2017-02-10 Martin Quinsonsplit simix::MailboxImpl to its own files
2017-02-10 degommeignore new lib for freebsd (used by libevent)
2017-02-07 Martin Quinsonmore info to the user.
2017-02-01 Martin QuinsonFix MC builds, bummer
2017-02-01 Martin Quinsontry to speed up some some traversals
2017-01-26 Martin QuinsonMC: cosmetics
2017-01-25 Martin QuinsonMC: comment, rename stuff, don't change anything profund
2017-01-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-01-22 Martin Quinsoncosmetics
2017-01-21 Martin Quinsontry to make SafetyChecker a bit easier to read
2017-01-19 Martin Quinsonplease sonar, even if it is really pesky sometimes
2017-01-19 Martin QuinsonMake SIMIX_process_from_PID much faster
2017-01-16 Martin Quinsonclang-format broke my commit
2017-01-16 Martin Quinsoncontinue to split the source code of MC. Split remoting
2017-01-16 Martin Quinsoncosmetics
2017-01-16 Martin Quinsoninline some functions to make livenessChecker more...
2017-01-15 Martin Quinsoncosmetics
2017-01-14 Martin Quinsonfurther cleanups to the SafetyChecker
2017-01-14 Martin QuinsonMC: use exceptions to report errors, not integer return...
2017-01-14 Martin Quinsonmove the checker algorithms to their own directory
2017-01-14 Martin Quinsoncosmetics to make the SafetyChecker even easier to...
2017-01-12 Matthieu VolatReally remove (commented) alternative method of resolve...
2017-01-12 Matthieu VolatSanitize the rest of dwarf operation regarding stack...
2017-01-12 Matthieu VolatComment not working code in resolve_member() (before...
2017-01-12 Matthieu VolatFix an undefined C behavior.
2017-01-09 Martin Quinsonuseless cosmetics
2017-01-08 Martin Quinsonsmx processes are now called actors, avoiding confusion...
2017-01-08 Martin Quinsonignorable cosmetics
2017-01-08 Martin QuinsonInitialize a field in the constructor (+cosmetics)
2017-01-08 Martin Quinsoncosmetics
2017-01-07 Martin Quinsonturn a factory function into the constructor
2017-01-07 Martin Quinsondo the initialization in the constructor
2017-01-07 Martin Quinsonplease sonar by removing useless asignments and return...
2017-01-06 Martin Quinsonkill an unused static function
2017-01-06 Martin Quinsonif reductionMode_ is dpor, then it's not none. True...
2016-12-28 Martin Quinsonfix some doxygen warnings
2016-12-28 Martin Quinsonfix some typos found by the debian packaging tools
2016-12-20 Matthieu VolatCheck that scope is non-NULL pointer.
2016-12-15 Martin QuinsonMC: ignore a new boost-related library
2016-12-15 Martin Quinsonfix MC build with paranoid flags
2016-12-01 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2016-12-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-11-29 degommeOn Freebsd with clang > 3.8, sometimes we have a null...
2016-11-29 Matthieu VolatSwitch the event handling in the MC to libevent.
2016-11-29 Matthieu VolatAdd more libraries to blacklist.
2016-11-29 Matthieu VolatBSD/SysV ptrace resume addr is 1, not 0 like in linux.
2016-11-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-11-28 Matthieu VolatMore ptrace portability in model checker.
2016-11-28 Matthieu VolatAdd support to retrieve FreeBSD ucontext registers.
2016-11-28 Matthieu VolatAdd alternative to remap() in PageStore when not available.
2016-11-28 Matthieu VolatSet waitpid() for model-checked flags according to...
2016-11-22 Martin Quinsonmove VM into their namespace, and greatly reduce the...
2016-11-07 Matthieu VolatAllow to use BSD ptrace().
2016-11-07 Matthieu VolatBuild ID are somewhat gnu/linux specific.
2016-11-04 degommeclang complains about these seemingly unecessary std...
2016-11-04 Matthieu VolatMake simgrid::mc::HeapLocation instanciation C++11...
2016-11-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-11-01 Matthieu VolatUse BYTE_ORDER macro, not private __BYTE_ORDER
2016-11-01 Matthieu VolatMADV_MERGEABLE is available on linux, guard it.
2016-11-01 Matthieu VolatUse MAP_PREFAULT_READ on FreeBSD as en equivalent to...
2016-08-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-08-14 Martin Quinsonrename smx_process_t to smx_actor_t
2016-08-11 Martin QuinsonMerge pull request #107 from adfaure/master
2016-08-11 Martin QuinsonMC request_enabled: add documentation and an explosive...
2016-08-07 Martin Quinsonrename smx_synchro_t to smx_activity_t
2016-08-07 Martin QuinsonRename kernel::activity::Synchro into kernel::activity...
2016-08-07 Martin Quinsonvarious documentation improvements
2016-08-03 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-08-03 Frederic Sutertrack all the useless void
2016-08-01 Martin Quinsonfix MC builds this time
2016-08-01 Martin QuinsonPopulate the kernel::context namespace and continue...
2016-08-01 Martin QuinsonRename smx_process to ActorImpl
2016-07-31 Martin Quinsonalign namespaces on directories for kernel::activity
2016-07-31 Martin Quinsonmove parts of the kernel to the right subdir
2016-07-31 Martin Quinsonwoops, fix MC builds
2016-07-30 Martin Quinsonmove the synchronization stuff to its own directory
2016-07-28 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-07-22 Gabriel CoronaMerge s4u wait_any
2016-07-22 Gabriel Corona[simix] Dexbtization: remove xbt_dynar_t argument in...
2016-07-21 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-07-21 Gabriel Corona[mc] this_actor, wait_for and wait_until
2016-07-21 Gabriel Corona[mc] Documentation
2016-07-20 Gabriel CoronaMerge remote-tracking branch 'adfaure/master'
2016-07-20 Gabriel Corona[mc] Fix NT_GNU_BUILD_ID support
2016-07-20 Gabriel Corona[mc] Add documentation and fix some things
2016-07-18 Martin Quinsonfix some typos
2016-07-18 Gabriel CoronaMerge commit '458ff11'
2016-07-18 Gabriel Corona[mc] Remove unused pointer_to_data_member trait
2016-07-18 Gabriel Corona[mc] Documentation cleanup
2016-07-18 Gabriel Corona[mc] Avoid extra memory allocation and fix off-by-one...
2016-07-18 Gabriel Corona[mc] Better documentation of AddressSpace
next