AND Public Git Repository - simgrid.git/history - src/mc/checker/CommunicationDeterminismChecker.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp

2019-01-07	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw
2018-10-11	jed56 ( Jean-Emile...	Merge branch 'master' into v3.20-expose-simgrid-jni	blob \| commitdiff \| raw \| diff to current
2018-08-12	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2018-08-10	Arnaud Giersch	Fix build without smpi.	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-06-30	Martin Quinson	Partially snake_case ActorImpl	blob \| commitdiff \| raw \| diff to current
2018-06-27	onesphore	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-06-26	Arnaud Giersch	Try to please Sonar about redundant forward declaration...	blob \| commitdiff \| raw \| diff to current
2018-04-13	Arnaud Giersch	Kill unused DynarRange; move newDeleteDynar() in dynar.h.	blob \| commitdiff \| raw \| diff to current
2018-04-08	Arnaud Giersch	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-30	Martin Quinson	Merge pull request #259 from simgrid/configfix	blob \| commitdiff \| raw \| diff to current
2018-03-13	Martin Quinson	Merge pull request #256 from Flamefire/master	blob \| commitdiff \| raw \| diff to current
2018-03-13	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2018-03-13	Augustin Degomme	more bad fixes	blob \| commitdiff \| raw \| diff to current
2017-12-07	Arnaud Giersch	Add explicit keyword to simgrid::mc::RemotePtr constructor.	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-16	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-10-16	Arnaud Giersch	Kill useless empty functions.	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	Use a C++ string instead of char* for mailbox name.	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-10-04	Arnaud Giersch	Remove side effects from right hand operands of &&...	blob \| commitdiff \| raw \| diff to current
2017-10-04	Arnaud Giersch	Remove lines of commented code spotted by sonar.	blob \| commitdiff \| raw \| diff to current
2017-10-02	Zitagcc	Merge branch 'master' into async-wait	blob \| commitdiff \| raw \| diff to current
2017-09-15	Arnaud Giersch	Throw exception by value.	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-18	Martin Quinson	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2017-07-17	degomme	Big move of all SMPI files in subfolders because it...	blob \| commitdiff \| raw \| diff to current
2017-06-30	Martin Quinson	Merge pull request #193 from Takishipp/signals	blob \| commitdiff \| raw \| diff to current
2017-06-19	Martin Quinson	Merge pull request #190 from Takishipp/clean_events	blob \| commitdiff \| raw \| diff to current
2017-06-17	Martin Quinson	Merge pull request #188 from Takishipp/clean_events	blob \| commitdiff \| raw \| diff to current
2017-06-15	Martin Quinson	Merge pull request #181 from bcamus/master	blob \| commitdiff \| raw \| diff to current
2017-06-15	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-06-13	Martin Quinson	further WIP on the ActivityImplPtr feature. Now it...	blob \| commitdiff \| raw \| diff to current
2017-06-13	Martin Quinson	first attempt (ongoing WIP)	blob \| commitdiff \| raw \| diff to current
2017-06-06	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-06-02	Martin Quinson	Merge pull request #179 from Takishipp/signals	blob \| commitdiff \| raw \| diff to current
2017-06-02	Martin Quinson	rename a method	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-27	Martin Quinson	Rename some activity/SynchroBlah into activity/BlahImpl...	blob \| commitdiff \| raw \| diff to current
2017-05-24	Martin Quinson	remove some useless includes	blob \| commitdiff \| raw \| diff to current
2017-05-23	Martin Quinson	hunt down some more short negation forms	blob \| commitdiff \| raw \| diff to current
2017-05-23	Martin Quinson	remove (void) in C++	blob \| commitdiff \| raw \| diff to current
2017-05-23	Martin Quinson	please codacy: use long form of negation in C++	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-05-21	Martin Quinson	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2017-05-09	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-05-07	Martin Quinson	reduce the amount of includes	blob \| commitdiff \| raw \| diff to current
2017-03-07	degomme	Try to have MC accept C++ requests... One assert commen...	blob \| commitdiff \| raw \| diff to current
2017-02-10	Martin Quinson	split simix::MailboxImpl to its own files	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-16	Martin Quinson	clang-format broke my commit	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
2017-01-15	Martin Quinson	cosmetics	blob \| commitdiff \| raw \| diff to current
2017-01-14	Martin Quinson	MC: use exceptions to report errors, not integer return...	blob \| commitdiff \| raw \| diff to current
2017-01-14	Martin Quinson	move the checker algorithms to their own directory	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom