Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[sonar] Extract assignments from expressions.
[simgrid.git] / src / mc / mc_state.cpp
2019-05-03 Arnaud Giersch[sonar] Extract assignments from expressions.
2019-04-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-04-02 Arnaud Gierschdetached really is a boolean.
2019-03-28 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-03-28 Frederic Sutertry to clean and uniformize Activity Impls
2019-02-20 Arnaud GierschSpecialize parameter for simcall comm_waitany.
2019-02-20 Arnaud GierschSpecialize parameter for simcall comm_testany.
2019-02-20 Arnaud GierschKill now unused mc_xbt.
2019-02-20 Arnaud GierschFix MC build after changes for waitany.
2019-02-17 Frederic Suterweek-end cleanups in ActorImpl
2019-02-15 Frederic Suterfix build
2019-01-27 Martin Quinsonactivity::CommImpl: stick to our naming standards for...
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-10-11 jed56 ( Jean-Emile... Merge branch 'master' into v3.20-expose-simgrid-jni
2018-07-04 Martin QuinsonMerge branch 'master' of https://github.com/Onesphore...
2018-07-02 Martin Quinsonkill some include directives
2018-06-30 Martin QuinsonPartially snake_case ActorImpl
2018-06-27 onesphoreMerge remote-tracking branch 'upstream/master'
2018-06-26 Arnaud GierschTry to please Sonar about redundant forward declaration...
2018-04-08 Arnaud GierschUpdate copyright headers.
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched
2017-11-23 TakishippMerge branch 'actor-yield' of github.com:Takishipp...
2017-11-23 ZitagccMerge branch 'master' into actor-yield
2017-10-15 Martin QuinsonMerge branch 'actor-startkilltime' of https://github...
2017-10-15 Martin QuinsonMerge pull request #228 from Takishipp/actor-execute
2017-10-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-10-10 Arnaud GierschRename C++ only header files from .h to .hpp.
2017-07-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-07-27 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-07-27 Arnaud GierschUse C++ style includes when available.
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 Suterplease sonar (initialization lists) + reindent
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-17 Martin Quinsonuntangle a tiny bit checker algo and enabled actor
2017-07-16 Martin Quinsonthis is a hpp header
2017-06-30 Martin QuinsonMerge pull request #193 from Takishipp/signals
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-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 Quinsonfurther WIP on the ActivityImplPtr feature. Now it...
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-27 Martin QuinsonRename some activity/SynchroBlah into activity/BlahImpl...
2017-05-25 Martin Quinsoncut some more includes
2017-05-23 Martin Quinsonplease codacy: use long form of negation in C++
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-08 Martin Quinsonsmx processes are now called actors, avoiding confusion...
2017-01-07 Martin Quinsonturn a factory function into the constructor
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-07 Martin Quinsonrename smx_synchro_t to smx_activity_t
2016-07-31 Martin Quinsonalign namespaces on directories for kernel::activity
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-05-31 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-05-31 Gabriel CoronaUse boost::range algorithms
2016-05-31 Gabriel CoronaUse boost::range algorithms
2016-05-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-05-26 Gabriel Corona[simix] Use C++ templates for generating the marshaling...
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-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-13 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-13 Gabriel Corona[mc] Move mc_stats.expanded_states into the Checkers
2016-04-13 Gabriel Corona[mc] s/getRecordElement/getTransition/
2016-04-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-11 Gabriel Corona[mc] Rename RecordTraceElement as Transition and use...
2016-04-07 Gabriel Corona[mc] Get rid of the ugly "value" out parameter in MC_st...
2016-04-07 Gabriel Corona[mc] Remove MC_state_get_internal_request()
2016-04-07 Gabriel Corona[mc] Remove MC_state_get_executed_request()
2016-04-07 Gabriel Corona[mc] Add Factor some gorry code to State::getRecordElem...
2016-04-07 Gabriel Corona[mc] Simplify/unify the interleeaving/exploration logic
2016-04-07 Gabriel Corona[mc] Get rid of MC_state_set_executed_request() in...
2016-04-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-06 Gabriel Corona[mc] Remove MC_state_remove_interleave_process() (not...
2016-04-06 Gabriel Corona[mc] Use std::vector for State::incomplete_comm_pattern...
2016-04-06 Gabriel Corona[mc] Remove duplicate init in State
2016-04-05 Gabriel Corona[mc] C++ification of State
2016-04-05 Gabriel Corona[mc] Remove MC_state_delete()
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Use shared_ptr for Snapshot
2016-03-29 Gabriel Corona[mc] Making a State a class
2016-03-16 Gabriel Corona[mc] Remove pointless #includes
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 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
next