Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix non-MC builds
[simgrid.git] / src / mc / mc_base.cpp
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-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
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-09 Gabriel Corona[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
2015-08-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Gabriel Corona[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid...
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-07-25 Martin QuinsonRevert "Fix non-MC builds"
2015-07-25 Gabriel Corona[mc] Fix missing #include in non MC
2015-07-25 Martin QuinsonFix non-MC builds
2015-07-25 Gabriel Corona[mc] Move MC_random is mc_base.cpp
2015-07-25 Martin QuinsonRevert "Revert "[mc] Move MC_random() in mc_client_api...
2015-07-24 Martin QuinsonRevert "[mc] Move MC_random() in mc_client_api.cpp"
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-24 Gabriel Corona[mc] Move MC_random() in mc_client_api.cpp
2015-05-22 Gabriel Corona[mc] Move cross process reading support for SBT structu...
2015-05-21 Gabriel Corona[mc] Add remote_ptr for marking pointers-to/addresses...
2015-05-21 Gabriel Corona[mc] Remove compatibility stuff
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-05-05 Gabriel Corona[mc] Fix unitialized variable
2015-05-04 Gabriel Corona[mc] Fixed the compilation on non-MC build
2015-05-04 Gabriel Corona[mc] Fix segfault in MC_request_is_enabled() executed...
2015-04-28 Gabriel Corona[mc] Cleanup MC init code (split MCer and MCed init)
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-17 Gabriel Corona[mc] Remove mc_interface.h
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc...
2015-04-16 Gabriel Corona[mc] Switch to C++