AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2023-11-05	Martin Quinson	Remove the stateful model-checking from the archive...	blob \| commitdiff \| raw
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...	blob \| commitdiff \| raw \| diff to current
2023-02-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-18	Martin Quinson	Kill src/include	blob \| commitdiff \| raw \| diff to current
2023-01-10	Martin Quinson	Stop trying to build on native WIN32, it's broken anyway	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-10-14	Arnaud Giersch	Restore the previous observable behavior.	blob \| commitdiff \| raw \| diff to current
2022-10-14	Arnaud Giersch	Fix crash with debug logs.	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-08-07	Martin Quinson	Merge mc_safety.hpp into DFSExplorer class	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-08-02	Martin Quinson	Rename mc::Session into mc::api::RemoteApp	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	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-20	Martin Quinson	MC: be more cautionous around MC_process_clock, the...	blob \| commitdiff \| raw \| diff to current
2022-03-11	Martin Quinson	Merge branch 'add_remaining_comm_sync_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-09	Martin Quinson	further simpify the MC initialization on app side	blob \| commitdiff \| raw \| diff to current
2022-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw \| diff to current
2022-02-17	Martin Quinson	CommDet shall become an extension of the SafetyChecker	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Inline another useless function in MC and a define...	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-12-22	Martin Quinson	mc: inline a function	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Give an explicit name to the session singleton	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Kill a file that was almost empty	blob \| commitdiff \| raw \| diff to current
2021-03-10	Arnaud Giersch	Merge branch 's4u/model_list' into 'master'	blob \| commitdiff \| raw \| diff to current
2021-03-10	Arnaud Giersch	Prefer xbt_assert here.	blob \| commitdiff \| raw \| diff to current
2021-03-06	Martin Quinson	MC: inline a function, kill a file	blob \| commitdiff \| raw \| diff to current
2021-02-25	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	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-20	Arnaud Giersch	Drop simgrid::xbt::demangle and use boost::core::demang...	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-11-25	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	Once again, use sd::array instead of C-style arrays.	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/Client into remote/AppSide	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-24	Frederic Suter	Merge branch 'depencencies' of https://framagit.org...	blob \| commitdiff \| raw \| diff to current
2020-01-09	Arnaud Giersch	Pass large parameter by address.	blob \| commitdiff \| raw \| diff to current
2020-01-08	Arnaud Giersch	[sonar] Use std::move with rvalue references.	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-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-08-31	Gene Cooperman	Spelling fixes & a few cases of polishing the English...	blob \| commitdiff \| raw \| diff to current
2019-08-08	Martin Quinson	namespacify a global function of SIMIX	blob \| commitdiff \| raw \| diff to current
2019-07-02	Arnaud Giersch	Kill unused static functions (dead code).	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	MC: rename some files	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	Merge branch 'tracemgrsplit' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-05-30	Martin Quinson	MC::remote: snake case	blob \| commitdiff \| raw \| diff to current
2019-05-28	Martin Quinson	mc: snake_case the checkers	blob \| commitdiff \| raw \| diff to current
2019-05-28	Martin Quinson	mc: snake_case a class	blob \| commitdiff \| raw \| diff to current
2019-05-26	Martin Quinson	fix non-MC builds when libevent is not found	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-20	Martin Quinson	mc: move some files related to ELF, DWARF or unwind...	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] enable model-check/record by default, and cosmetics	blob \| commitdiff \| raw \| diff to current
2019-05-03	Arnaud Giersch	More Sonar smells around "noreturn".	blob \| commitdiff \| raw \| diff to current
2019-03-12	Frederic Suter	mv ActorImpl where it belongs	blob \| commitdiff \| raw \| diff to current
2019-03-11	Arnaud Giersch	Don't use pass-by-value for large parameters.	blob \| commitdiff \| raw \| diff to current
2019-02-17	Frederic Suter	week-end cleanups in ActorImpl	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-30	Martin Quinson	Partially snake_case ActorImpl	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-04-08	Arnaud Giersch	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-12-03	Arnaud Giersch	Remove useless include.	blob \| commitdiff \| raw \| diff to current
2017-12-03	Arnaud Giersch	Remove unused swag hookups.	blob \| commitdiff \| raw \| diff to current
2017-11-28	Zitagcc	Merge branch 'master' into energy-pstate	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-21	Martin Quinson	Merge pull request #237 from oar-team/upstream	blob \| commitdiff \| raw \| diff to current
2017-11-21	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-11-19	Arnaud Giersch	Fix 32bits builds.	blob \| commitdiff \| raw \| diff to current
2017-11-19	Arnaud Giersch	Use already existing simgrid::xbt::demangle().	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-11-02	Arnaud Giersch	Sonar smells of the day.	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-08-27	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-08-27	Martin Quinson	Merge pull request #215 from Takishipp/s_type_cleanup	blob \| commitdiff \| raw \| diff to current
2017-08-23	Arnaud Giersch	Use (const) references with range-based for loops.	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	chop, chop, chop includes	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	this header file is much less interesting now that...	blob \| commitdiff \| raw \| diff to current
2017-05-23	Martin Quinson	remove (void) in C++	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom