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

Algorithmique Numérique Distribuée

Public GIT Repository

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

2022-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw
2022-02-19	Martin Quinson	MC: prefer a memleak to a segfault	blob \| commitdiff \| raw
2022-02-19	Martin Quinson	CommDet: Fix memory corruption, and plug some memleaks	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-03-14	Martin Quinson	cosmetics	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	MC: simplify initialization and kill api::set_checker()	blob \| commitdiff \| raw \| diff to current
2021-02-24	agougeon	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-02-10	Martin Quinson	Merge branch 'local changes'	blob \| commitdiff \| raw \| diff to current
2021-02-08	eazimi	a flag for udpor in the simgrid config	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	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	Cleanup!	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	create_checker without Session argument	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	createCommunicationDeterminismChecker without Session...	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	createSafetyChecker without Session argument	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	createLivenessChecker without Session argument	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-16	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-30	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-29	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-28	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-26	Ehsan Azimi	mc_api class introduced, SafetyChecher's constructor...	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-04	Arnaud Giersch	[sonar] Replace redundant type with "auto" (src/mc/).	blob \| commitdiff \| raw \| diff to current
2020-05-05	Martin Quinson	further simplify the MC initialization	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-30	Frederic Suter	Merge branch 'master' into depencencies	blob \| commitdiff \| raw \| diff to current
2020-01-29	Martin Quinson	MC: various cleanups done while debugging something	blob \| commitdiff \| raw \| diff to current
2020-01-29	Martin Quinson	MC: when exec()ing the app, first pass any parameters...	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-06	Augustin Degomme	still some missing includes.	blob \| commitdiff \| raw \| diff to current
2019-12-06	Frederic Suter	add missing include for smpi_options	blob \| commitdiff \| raw \| diff to current
2019-12-06	Frederic Suter	add missing include for smpi_options	blob \| commitdiff \| raw \| diff to current
2019-12-06	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2019-12-06	Arnaud Giersch	HAVE_SMPI is always defined (maybe to 0).	blob \| commitdiff \| raw \| diff to current
2019-12-05	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2019-12-05	Augustin Degomme	fix build with MC + no SMPI	blob \| commitdiff \| raw \| diff to current
2019-12-04	Martin Quinson	Merge branch 'doc' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-12-04	Augustin Degomme	help mc initialize smpi options.	blob \| commitdiff \| raw \| diff to current
2019-11-19	Martin Quinson	Merge branch 'xbt_random' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-11-10	Arnaud Giersch	Slightly reorganize log categories; remove unused ones.	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-06-14	Arnaud Giersch	Merge remote-tracking branch 'github/master'	blob \| commitdiff \| raw \| diff to current
2019-06-11	Martin Quinson	mc: don't catch exceptions we cannot deal with	blob \| commitdiff \| raw \| diff to current
2019-06-10	Martin Quinson	code simplification in MC start sequence	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] Don't name unused exceptions.	blob \| commitdiff \| raw \| diff to current
2019-02-02	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2019-02-01	Martin Quinson	tidy some #includes in MC	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-04-18	Arnaud Giersch	Convert MC config parameters to C++ API, and move their...	blob \| commitdiff \| raw \| diff to current
2018-04-18	Arnaud Giersch	Clean up duplicated declarations for mc_config variables.	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-28	Arnaud Giersch	Rename sg_config.h -> sg_config.hpp.	blob \| commitdiff \| raw \| diff to current
2018-01-09	Arnaud Giersch	Remove XBT_LOG_CONNECT, it should be useless nowadays.	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-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-18	Zitagcc	Merge branch 'master' into actor-priority	blob \| commitdiff \| raw \| diff to current
2017-10-16	Arnaud Giersch	Replace some more malloc/free.	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-20	Arnaud Giersch	Add missing calls to XBT_LOG_CONNECT.	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-05-29	Takishipp	Merge branches 'master' and 'master' of github.com...	blob \| commitdiff \| raw \| diff to current
2017-05-26	Martin Quinson	more than 100 codacy treats, not bad	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-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