AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / mc_record.cpp

2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw
2023-05-10	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw
2023-05-03	Martin Quinson	Factorize more code between DFSExplo and LivenessExplo...	blob \| commitdiff \| raw
2023-04-26	Martin Quinson	Merge branch 'operation-plugin' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-15	Martin Quinson	Make sure that we never have a 0 transition at the...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Compile the safe part of MC in default mode too	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-11-07	Arnaud Giersch	Use boolean value.	blob \| commitdiff \| raw \| diff to current
2022-11-01	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2022-11-01	Martin Quinson	Display the stack of each actor during a MC replay...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Martin Quinson	MC replay: check whether there is a deadlock after...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Martin Quinson	Align the behavior of MC and MC_replay in SMPI, so...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Martin Quinson	Be more verbose on the blocking transition when display...	blob \| commitdiff \| raw \| diff to current
2022-10-30	Martin Quinson	MC_replay: Ensure that times_considered is always set	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-05-06	Arnaud Giersch	Reduce scope for temporary variables.	blob \| commitdiff \| raw \| diff to current
2022-03-30	Martin Quinson	Merge branch 'add_missing_comm_python_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-29	Martin Quinson	Merge branch 'dev-mailbox-clear' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-28	Bruno Donassolo	Merge branch 'issue105' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-25	Arnaud Giersch	Cosmetics: don't talk about ActorIDTrait if it's not...	blob \| commitdiff \| raw \| diff to current
2022-03-24	Arnaud Giersch	Make maxpid a static member of ActorIDTrait.	blob \| commitdiff \| raw \| diff to current
2022-03-13	Martin Quinson	Merge branch 'fix_bindings_mistakenly_set_as_member_fun...	blob \| commitdiff \| raw \| diff to current
2022-03-13	Martin Quinson	Kill a useless static function	blob \| commitdiff \| raw \| diff to current
2022-03-13	Martin Quinson	Move the actor lifecycle markers from Context to ActorImpl	blob \| commitdiff \| raw \| diff to current
2022-03-11	Martin Quinson	Merge branch 'add_remaining_comm_sync_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-08	Arnaud Giersch	Move Simcall from namespace simix to kernel::actor.	blob \| commitdiff \| raw \| diff to current
2022-03-08	Arnaud Giersch	Make Simcall a real class.	blob \| commitdiff \| raw \| diff to current
2022-02-28	Arnaud Giersch	Minor sonar smells, and other cosmetics.	blob \| commitdiff \| raw \| diff to current
2022-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Split TransitionAny and TransitionRandom to their own...	blob \| commitdiff \| raw \| diff to current
2022-02-12	Martin Quinson	Move dot_label() from Observer to Transition (+ some...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Inline another stupid function	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Objectification of mc::RecordTrace	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Stop copying transitions around since that would shorte...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Start moving classes into the mc/api directory	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Fix builds with/without MC and with/without clang ...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Big bang in MC: app's observers are serialized, to...	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-04-03	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-04-02	Arnaud Giersch	Change "if(...) xbt_die(...)" to "xbt_assert(...)".	blob \| commitdiff \| raw \| diff to current
2021-04-01	Martin Quinson	Actor's ID should be a long, and should be named AID	blob \| commitdiff \| raw \| diff to current
2021-03-20	Martin Quinson	some symbol renamings to make MC easier to understand...	blob \| commitdiff \| raw \| diff to current
2021-03-17	Arnaud Giersch	Lowercase PID in function name (1/2 - private part).	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Kill a file that was almost empty	blob \| commitdiff \| raw \| diff to current
2021-03-06	Martin Quinson	MC: inline a function, kill a file	blob \| commitdiff \| raw \| diff to current
2021-03-02	Arnaud Giersch	Rename mc_base.h -> .hpp (it's C++ only anyway).	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	objectification of MC simcall achieved -- many tests...	blob \| commitdiff \| raw \| diff to current
2021-01-13	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-12	Arnaud Giersch	Update copyright lines.	blob \| commitdiff \| raw \| diff to current
2020-12-20	Martin Quinson	Deprecate a SIMIX function that was badly named anyway	blob \| commitdiff \| raw \| diff to current
2020-12-15	Augustin Degomme	Merge branch 'Adrien.Gougeon/simgrid-master'	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	[pvs] A part of conditional expression is always false...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	Enum class for MC call types, and MC comm pattern diffe...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-05-10	Martin Quinson	stick to our coding standards: fields must have a trail...	blob \| commitdiff \| raw \| diff to current
2020-02-06	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-xbt_random'	blob \| commitdiff \| raw \| diff to current
2020-01-31	Arnaud Giersch	Cosmetics: fix "Malformed whitespace in C++" spotted...	blob \| commitdiff \| raw \| diff to current
2020-01-24	Frederic Suter	Merge branch 'depencencies' of https://framagit.org...	blob \| commitdiff \| raw \| diff to current
2020-01-01	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2019-12-28	Arnaud Giersch	[sonar] Constify pointer and reference parameters in...	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-08-17	Martin Quinson	use assignment to non-trivial class rather than artific...	blob \| commitdiff \| raw \| diff to current
2019-08-15	Martin Quinson	obey our coding standards, and snake_case some parts...	blob \| commitdiff \| raw \| diff to current
2019-08-09	Martin Quinson	change SIMIX_simcall_handle() into ActorImpl::simcall_h...	blob \| commitdiff \| raw \| diff to current
2019-08-08	Martin Quinson	namespacify a global function of SIMIX	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	Merge branch 'tracemgrsplit' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-05-28	Martin Quinson	mc: snake_case the checkers	blob \| commitdiff \| raw \| diff to current
2019-05-16	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2019-05-15	Martin Quinson	Remove option 'model-check/record': paths are recorded...	blob \| commitdiff \| raw \| diff to current
2019-03-12	Frederic Suter	mv ActorImpl where it belongs	blob \| commitdiff \| raw \| diff to current
2019-03-11	Arnaud Giersch	Pass std::string parameters by reference too.	blob \| commitdiff \| raw \| diff to current
2019-01-08	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2019-01-07	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2018-10-11	jed56 ( Jean-Emile...	Merge branch 'master' into v3.20-expose-simgrid-jni	blob \| commitdiff \| raw \| diff to current
2018-07-04	Martin Quinson	Merge branch 'master' of https://github.com/Onesphore...	blob \| commitdiff \| raw \| diff to current
2018-07-02	Martin Quinson	kill some include directives	blob \| commitdiff \| raw \| diff to current
2018-04-19	Arnaud Giersch	Remove redundant variable.	blob \| commitdiff \| raw \| diff to current
2018-04-08	Arnaud Giersch	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-11-27	Tom Cornebize	Merge branch 'master' into fix/execute_benched	blob \| commitdiff \| raw \| diff to current
2017-11-23	Takishipp	Merge branch 'actor-yield' of github.com:Takishipp...	blob \| commitdiff \| raw \| diff to current
2017-11-23	Zitagcc	Merge branch 'master' into actor-yield	blob \| commitdiff \| raw \| diff to current
2017-11-21	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Arnaud Giersch	Use a more specific exception.	blob \| commitdiff \| raw \| diff to current
2017-11-05	Martin Quinson	convert src/mc/mc_replay.h into mc_replay.hpp (+ don...	blob \| commitdiff \| raw \| diff to current
2017-11-04	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-11-04	Frederic Suter	stringify (a lot)	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge branch 'actor-startkilltime' of https://github...	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge pull request #228 from Takishipp/actor-execute	blob \| commitdiff \| raw \| diff to current
2017-10-10	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-10-10	Arnaud Giersch	Sort include lists according to clang-format.	blob \| commitdiff \| raw \| diff to current
2017-10-10	Arnaud Giersch	Rename C++ only header files from .h to .hpp.	blob \| commitdiff \| raw \| diff to current
2017-07-27	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-07-27	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-07-27	Arnaud Giersch	Fix signedness errors in format strings.	blob \| commitdiff \| raw \| diff to current
2017-07-17	Martin Quinson	Merge pull request #200 from Takishipp/clear_fct	blob \| commitdiff \| raw \| diff to current
2017-07-16	Martin Quinson	remove one layer of calls	blob \| commitdiff \| raw \| diff to current
2017-05-29	Takishipp	Merge branches 'master' and 'master' of github.com...	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom