AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / ModelChecker.hpp

2020-05-06	Martin Quinson	MC: actually remove the comm channel from RemoteClientM...	blob \| commitdiff \| raw
2020-05-06	Martin Quinson	MC: rename remote/RemoteClient -> remote/RemoteClientMe...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: move a function around + cosmetics	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: inline a trivial function	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/EventLoop into remote/CheckerSide	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	split a piece of src/mc/ModelChecker.cpp into src/mc...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: tiny code simplifications	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-29	Frederic Suter	Merge branch 'master' into depencencies	blob \| commitdiff \| raw \| diff to current
2020-01-28	Arnaud Giersch	Kill obsolete TODO.	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-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-06-03	Martin Quinson	MC: kill an unused field and a useless method	blob \| commitdiff \| raw \| diff to current
2019-06-03	Martin Quinson	MC: kill an unused field	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-03	Arnaud Giersch	[sonar] Add attribute "noreturn" to non-returning funct...	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-04	Martin Quinson	move libsosp into its own directory	blob \| commitdiff \| raw \| diff to current
2018-06-27	onesphore	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-06-23	Martin Quinson	Merge pull request #272 from mpoquet/SMPI_convert	blob \| commitdiff \| raw \| diff to current
2018-06-23	Martin Quinson	untangle a bit mc header files	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-18	Zitagcc	Merge branch 'master' into actor-priority	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-14	Arnaud Giersch	Cosmetics: remove redundant access specifier.	blob \| commitdiff \| raw \| diff to current
2017-10-10	Arnaud Giersch	Remove useless typedef's from C++ files.	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	further cleanups of the MC protocol (and fix its build :)	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-22	Martin Quinson	Merge pull request #168 from simgrid/smpi_huge_pages	blob \| commitdiff \| raw \| diff to current
2017-05-22	Frederic Suter	start reducing smells in MC code	blob \| commitdiff \| raw \| diff to current
2017-01-16	Martin Quinson	continue to split the source code of MC. Split remoting	blob \| commitdiff \| raw \| diff to current
2016-12-01	Martin Quinson	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2016-12-01	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	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-29	Matthieu Volat	Switch the event handling in the MC to libevent.	blob \| commitdiff \| raw \| diff to current
2016-07-11	Gabriel Corona	[mc] Remove xbt_dict in ModelChecker	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] Remove mc_stats and move remaining stats in ModelC...	blob \| commitdiff \| raw \| diff to current
2016-04-12	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-11	Gabriel Corona	[mc] Rename RecordTraceElement as Transition and use...	blob \| commitdiff \| raw \| diff to current
2016-03-29	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] Remove Snapshot::is_important_snapshot()	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] Use shared_ptr for Snapshot	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] Let the Checker give us the current record trace	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Remove split the MCed and MCer part of MC_deadlock...	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h	blob \| commitdiff \| raw \| diff to current
2016-03-15	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Fix comment/TODO	blob \| commitdiff \| raw \| diff to current
2016-02-27	Martin Quinson	Merge pull request #65 from fabienchaix/master	blob \| commitdiff \| raw \| diff to current
2016-02-26	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] s/NULL/nullptr/	blob \| commitdiff \| raw \| diff to current
2016-02-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] Don't leave model-checked processes around	blob \| commitdiff \| raw \| diff to current
2016-02-24	Fabien Chaix	Merge branch 'oldstyle_element_set'	blob \| commitdiff \| raw \| diff to current
2016-02-23	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-23	Gabriel Corona	[mc] Partial cleanup of the initialisation of the diffe...	blob \| commitdiff \| raw \| diff to current
2016-02-23	fabienchaix	Merge pull request #2 from mquinson/master	blob \| commitdiff \| raw \| diff to current
2016-02-20	Martin Quinson	Merge branch 'coverity_scan' of github.com:mquinson...	blob \| commitdiff \| raw \| diff to current
2016-02-12	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-12	Gabriel Corona	[mc] Fix MC cross-process memory access	blob \| commitdiff \| raw \| diff to current
2015-12-11	Luka Stanisic	Merging changes done by Steven, Samuel and Luka, regard...	blob \| commitdiff \| raw \| diff to current
2015-11-26	Gabriel Corona	[mc] Better #includes	blob \| commitdiff \| raw \| diff to current
2015-11-14	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-11-12	Gabriel Corona	[mc] Move the MCer wait_for_requests logic outside...	blob \| commitdiff \| raw \| diff to current
2015-11-12	Gabriel Corona	[mc] Merge Server class into ModelChecker	blob \| commitdiff \| raw \| diff to current
2015-10-25	Martin Quinson	Reduce the amount of implicit include directories	blob \| commitdiff \| raw \| diff to current
2015-10-16	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-15	Gabriel Corona	[mc] Fix ModelChecker::is_important_snapshot(), do...	blob \| commitdiff \| raw \| diff to current
2015-10-13	Martin Quinson	Merge branch 'S4U'	blob \| commitdiff \| raw \| diff to current
2015-10-09	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2015-10-09	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Move MC_important_snapshot() as a method of ModelC...	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp	blob \| commitdiff \| raw \| diff to current
2015-10-02	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-02	Gabriel Corona	[mc] Bring back soft-dirty tracking from the dead 💀	blob \| commitdiff \| raw \| diff to current
2015-10-01	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-01	Gabriel Corona	[mc] Mark some internal symbols as hidden on ELF in mc	blob \| commitdiff \| raw \| diff to current
2015-08-09	Martin Quinson	Merge branch 'master' into S4U	blob \| commitdiff \| raw \| diff to current
2015-08-05	Martin Quinson	Update copyright notices	blob \| commitdiff \| raw \| diff to current
2015-07-24	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-07-23	Gabriel Corona	[mc] Remove a lot of typedefs and typedef usage	blob \| commitdiff \| raw \| diff to current
2015-07-21	Gabriel Corona	[mc] Cleanup/C++ification of {ModelChecker,PageStore...	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom