Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use std::vector instead of dynar in simix_global (process_{to_run,that_ran}).
[simgrid.git] / src / mc / mc_base.cpp
2017-08-03 Arnaud GierschUse std::vector instead of dynar in simix_global (proce...
2017-07-24 Martin QuinsonMerge pull request #202 from Takishipp/clear_fct
2017-07-21 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-07-21 Frederic Sutersimcall_mutex_unlock is back but keep the simplificatio...
2017-07-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-07-18 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2017-07-18 Martin QuinsonMC: checker kindly ask the app whether an actor is...
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-17 Martin Quinsoncosmetics and comments
2017-07-17 Martin Quinsonfix non-MC builds
2017-07-16 Martin Quinsonremove one layer of calls
2017-07-16 Martin QuinsonMC: rename process into RemoteClient
2017-06-30 Martin QuinsonMerge pull request #193 from Takishipp/signals
2017-06-28 Martin QuinsonMC: compute if a COMM_WAIT is enabled with the activity...
2017-06-19 Martin Quinsonfix some more MC examples
2017-06-19 Martin QuinsonMerge pull request #190 from Takishipp/clean_events
2017-06-17 Martin QuinsonMerge pull request #188 from Takishipp/clean_events
2017-06-16 Martin Quinsonfix most of the MC tests. Liveness and CommPattern...
2017-06-15 Martin QuinsonMerge pull request #181 from bcamus/master
2017-06-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-06-13 Martin Quinsonfirst attempt (ongoing WIP)
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-27 Martin QuinsonRename some activity/SynchroBlah into activity/BlahImpl...
2017-05-26 Martin Quinsonmore than 100 codacy treats, not bad
2017-05-24 Martin Quinsonrename simix::Mutex to simix::MutexImpl
2017-05-23 Martin Quinsonremove (void) in C++
2017-05-23 Martin Quinsonplease codacy: use long form of negation in C++
2017-05-21 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2017-05-13 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-05-12 Martin Quinsonfix non-MC builds
2017-05-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-05-09 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-05-08 Martin Quinsondo not load internal_config.h from mc.h
2017-05-08 Martin Quinsongrmbl
2017-05-08 Martin Quinsonstop forbidding semaphores and cond variables in model...
2017-05-05 Martin Quinsonprefix all macro defined in public simgrid_config.h...
2017-05-03 TakishippMerge branch 'toufic' of github.com:Takishipp/simgrid
2017-05-01 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-04-24 Martin Quinsonintroduce type aid_t for Actor's ID (ie, PID)
2017-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-07 Martin QuinsonCleanups
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 QuinsonMake SIMIX_process_from_PID much faster
2017-01-16 Martin Quinsoncontinue to split the source code of MC. Split remoting
2017-01-08 Martin Quinsonsmx processes are now called actors, avoiding confusion...
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
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 kernel::activity::Synchro into kernel::activity...
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-30 Martin Quinsonmove the synchronization stuff to its own directory
2016-06-16 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-06-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-06-14 Gabriel Corona[simix] Make Mutex a C++ class (kind-of)
2016-05-31 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-05-31 Gabriel CoronaUse boost::range algorithms
2016-05-23 Gabriel Corona[mc] Fix remote access to the new Process structure
2016-05-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-05-11 Gabriel Corona[mc] Fix MC with the class-hierarchification of simgrid...
2016-05-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-05-06 Martin Quinsonsplit smx_synchro_t into a hierarchy of C++ classes
2016-04-28 Gabriel Corona[mc] Fix compilation when MC id disabled
2016-04-28 Gabriel Corona[mc] Remove redundant 'mc_mode' global variable
2016-04-08 Gabriel Corona[mc] Move resolve_process...() as methods of Process
2016-04-08 Gabriel Corona[mc] Remove useless MC_MODE_CLIENT paths
2016-04-08 Gabriel Corona[mc] Mark some remote pointers as such
2016-04-07 Gabriel Corona[mc] Sort out FIXMEs and TODOs
2016-04-07 Gabriel Corona[mc] Remove the client-side processing in simgrid:...
2016-03-13 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-11 Gabriel Corona[mc] Remove useless extern "C" around logging categories
2016-03-08 Martin Quinsonuse #if instead if #ifdef for the things in the public...
2016-03-08 Gabriel Corona[mc] Remove the SNAPSHOT and COMPARE_SNAPSHOTS MC simcalls
2016-03-08 Gabriel Corona[mc] Move things in the MC namespace
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-07 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-07 Gabriel Corona[mc] Simplify the control flow
2016-03-06 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-06 Martin Quinsonkill our _XBT_WIN32. Standard _WIN32 is sufficient
2016-03-04 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-03 Gabriel Corona[mc] Remove the horrid temporary MC_PROCESS_FOREACH...
2016-03-03 Gabriel Corona[mc] Make SimixProcessInformation a real C++ object
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 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
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
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-10 Gabriel Corona[mc] Move Server in simgrid::mc
2015-11-10 Gabriel Corona[mc] Simplify mc_server
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
next