AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2022-08-06	Martin Quinson	Finish the removal of mc::api by moving the last bits...	blob \| commitdiff \| raw
2022-08-06	Martin Quinson	Move mc:api::get_remote_heap_bytes() to RemoteProcess	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Convert simgrid::mc::snapshot_equal() into Snapshot...	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Move the dot_output global into ModelChecker	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	further reduce the amount of call sites for RemoteProce...	blob \| commitdiff \| raw \| diff to current
2022-07-13	Martin Quinson	mc::api: Inline a useless function	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-04-27	Arnaud Giersch	Use structured binding declarations (sonar, c++17).	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	[sonar] Don't mix public and private members (mc::State).	blob \| commitdiff \| raw \| diff to current
2022-02-28	Arnaud Giersch	Useless lower-case alias.	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	MC: move a check_deadlock from ModelChecker to Session...	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	Unify the way we count expended states between checkers	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-10-13	Arnaud Giersch	Kill trailing whitespaces in source code files.	blob \| commitdiff \| raw \| diff to current
2021-02-03	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-25	eazimi	filenames changed	blob \| commitdiff \| raw \| diff to current
2021-01-25	eazimi	mc_api renamed to Api	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-15	Augustin Degomme	Merge branch 'Adrien.Gougeon/simgrid-master'	blob \| commitdiff \| raw \| diff to current
2020-12-11	Martin Quinson	Merge pull request #371 from eazimi/master	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	Merge with simgrid/master	blob \| commitdiff \| raw \| diff to current
2020-12-08	Ehsan Azimi	Pull from simgrid/master and a subsequent merge with...	blob \| commitdiff \| raw \| diff to current
2020-12-08	Ehsan Azimi	mcapi::compare_pair() in addVisitedState()	blob \| commitdiff \| raw \| diff to current
2020-12-01	Arnaud Giersch	Merge remote-tracking branch 'github/master'	blob \| commitdiff \| raw \| diff to current
2020-12-01	Martin Quinson	Merge pull request #369 from eazimi/master	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::get_actors_size() defined and it is used in...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Introduce mc::mc_api (pull request 1 -- #349)	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	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-26	Ehsan Azimi	Merge with 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	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-20	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-19	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-18	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-11-18	Ehsan Azimi	In VisitedState class, get_remote_heap_bytes() from...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-10-08	Martin Quinson	Merge branch 'klement/simgrid-klement' into master	blob \| commitdiff \| raw \| diff to current
2020-10-02	Arnaud Giersch	[sonar] Use "std::make_unique" to construct "std::uniqu...	blob \| commitdiff \| raw \| diff to current
2020-05-09	Martin Quinson	MC: Further renamings	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/RemoteClient -> remote/RemoteClientMe...	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-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-12-23	Arnaud Giersch	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2019-12-23	Arnaud Giersch	[sonar] Initialize data members with class initializers...	blob \| commitdiff \| raw \| diff to current
2019-12-22	Arnaud Giersch	Obey coding standard for the field names in mc:State.	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	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-07-10	Arnaud Giersch	Cosmetics.	blob \| commitdiff \| raw \| diff to current
2019-07-10	Arnaud Giersch	MC/compare: cleanup++	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	MC: inline a function that is now trivial	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	Merge branch 'tracemgrsplit' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-05-26	Martin Quinson	further tidy the includes in MC	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	mc: simplification: do not repeat information in parameters	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-17	Martin Quinson	doxygen: uniformity in command markers (@ vs. \)	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-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	Rename C++ only header files from .h to .hpp.	blob \| commitdiff \| raw \| diff to current
2017-07-24	Martin Quinson	Merge pull request #202 from Takishipp/clear_fct	blob \| commitdiff \| raw \| diff to current
2017-07-21	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-07-21	Frederic Suter	please sonar (initialization lists) + reindent	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	this is a hpp header	blob \| commitdiff \| raw \| diff to current
2017-07-16	Martin Quinson	MC: rename process into RemoteClient	blob \| commitdiff \| raw \| diff to current
2017-05-29	Takishipp	Merge branches 'master' and 'master' of github.com...	blob \| commitdiff \| raw \| diff to current
2017-05-25	Martin Quinson	cut some more includes	blob \| commitdiff \| raw \| diff to current
2017-05-24	Martin Quinson	remove some useless includes	blob \| commitdiff \| raw \| diff to current
2017-05-03	Takishipp	Merge branch 'toufic' of github.com:Takishipp/simgrid	blob \| commitdiff \| raw \| diff to current
2017-04-12	Tom Cornebize	Merge branch 'master' into partial_shared_malloc	blob \| commitdiff \| raw \| diff to current
2017-04-12	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-04-11	Martin Quinson	typos	blob \| commitdiff \| raw \| diff to current
2017-01-23	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-01-22	Martin Quinson	cosmetics	blob \| commitdiff \| raw \| diff to current
2017-01-21	Martin Quinson	try to make SafetyChecker a bit easier to read	blob \| commitdiff \| raw \| diff to current
2017-01-08	Martin Quinson	smx processes are now called actors, avoiding confusion...	blob \| commitdiff \| raw \| diff to current
2016-11-30	Millian Poquet	Merge branch 'master' of https://github.com/mpoquet...	blob \| commitdiff \| raw \| diff to current
2016-11-04	degomme	clang complains about these seemingly unecessary std...	blob \| commitdiff \| raw \| diff to current
2016-05-31	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-05-31	Gabriel Corona	Use boost::range algorithms	blob \| commitdiff \| raw \| diff to current
2016-04-14	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Move mc_stats.expanded_states into the Checkers	blob \| commitdiff \| raw \| diff to current
2016-04-07	Gabriel Corona	[mc] Document/cleanup State	blob \| commitdiff \| raw \| diff to current
2016-04-06	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom