Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
small comments improvements around a complex code
[simgrid.git] / src / mc / mc_state.cpp
2019-08-15 Martin Quinsonsmall comments improvements around a complex code
2019-08-15 Martin QuinsonMC: rename processes to actors
2019-08-15 Martin Quinsonobey our coding standards, and snake_case some parts...
2019-05-31 Martin QuinsonMC: inline a function that is now trivial
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-30 Martin QuinsonMC::remote: snake case
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-05-17 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-07 Frederic Sutercosmetics: make more fields private
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...
next