AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2017-11-23	Zitagcc	Merge branch 'master' into actor-yield	blob \| commitdiff \| raw
2017-10-18	Zitagcc	Merge branch 'master' into actor-priority	blob \| commitdiff \| raw
2017-10-15	Martin Quinson	Merge branch 'actor-startkilltime' of https://github...	blob \| commitdiff \| raw
2017-10-15	Martin Quinson	Merge pull request #228 from Takishipp/actor-execute	blob \| commitdiff \| raw
2017-10-14	Arnaud Giersch	Cosmetics: remove redundant access specifier.	blob \| commitdiff \| raw
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
2015-07-14	Martin Quinson	Merge pull request #17 from mpoquet/master	blob \| commitdiff \| raw \| diff to current
2015-06-29	Gabriel Corona	[mc] Fix include guards	blob \| commitdiff \| raw \| diff to current
2015-05-21	Gabriel Corona	[mc] Make C++ classes out of addres_space, process...	blob \| commitdiff \| raw \| diff to current
2015-05-19	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2015-04-27	Gabriel Corona	Merge branch 'master' into mc	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] Add missing copyright notices (and update)	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] C++ class PageStore	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] C++ class ModelChecker	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom