AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / remote / AppSide.cpp

2021-08-23	Augustin Degomme	Fix for clang 14: new check was added against substract...	blob \| commitdiff \| raw
2021-08-17	Arnaud Giersch	Pleases somewhat codefactor.io, lgtm, and pvs-studio.	blob \| commitdiff \| raw \| diff to current
2021-06-08	Augustin Degomme	Merge branch 'factor_in_actions' into 'master'	blob \| commitdiff \| raw \| diff to current
2021-06-02	Arnaud Giersch	Get rid of "%s" in second argument of function xbt_str_...	blob \| commitdiff \| raw \| diff to current
2021-06-01	Arnaud Giersch	Prefer std algorithms.	blob \| commitdiff \| raw \| diff to current
2021-05-25	SUTER Frederic	Continue to migrate contents of simix_global to EngineImpl	blob \| commitdiff \| raw \| diff to current
2021-05-05	Martin Quinson	MC: Start implementing the dependency functions on...	blob \| commitdiff \| raw \| diff to current
2021-05-04	Arnaud Giersch	Cosmetics.	blob \| commitdiff \| raw \| diff to current
2021-05-04	Arnaud Giersch	Put stdout in line buffer mode for MCed apps.	blob \| commitdiff \| raw \| diff to current
2021-05-04	Martin Quinson	MC: also flush application's stdout on backtrack	blob \| commitdiff \| raw \| diff to current
2021-04-30	Arnaud Giersch	Missing includes.	blob \| commitdiff \| raw \| diff to current
2021-04-22	Arnaud Giersch	Use type aid_t for actor ids.	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	Avoid a local variable only used by xbt_assert.	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-04-01	Arnaud Giersch	Improve debug messages (code is still not functional).	blob \| commitdiff \| raw \| diff to current
2021-04-01	Martin Quinson	Actor's ID should be a long, and should be named AID	blob \| commitdiff \| raw \| diff to current
2021-03-30	Arnaud Giersch	[mc] Add some coverage_checkpoint() for model-checked...	blob \| commitdiff \| raw \| diff to current
2021-03-30	Arnaud Giersch	[mc] Add an option to ask a model-checked application...	blob \| commitdiff \| raw \| diff to current
2021-03-30	Arnaud Giersch	[mc] Use a basic message type for answering mc::Message...	blob \| commitdiff \| raw \| diff to current
2021-03-30	Arnaud Giersch	Remove function calls with side effects from xbt_assert.	blob \| commitdiff \| raw \| diff to current
2021-03-29	Arnaud Giersch	Move xbt_modinter.h to src/include/xbt/.	blob \| commitdiff \| raw \| diff to current
2021-03-26	Martin Quinson	Move SimcallObserver from simgrid::mc to simgrid::kerne...	blob \| commitdiff \| raw \| diff to current
2021-03-20	Martin Quinson	Add ModelChecker::finalize_app(), but don't use it...	blob \| commitdiff \| raw \| diff to current
2021-03-20	Martin Quinson	some symbol renamings to make MC easier to understand...	blob \| commitdiff \| raw \| diff to current
2021-03-17	Arnaud Giersch	Lowercase PID in function name (1/2 - private part).	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	MC gets the addresses of variables it needs from the...	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	Rename mc::RemoteSimulation into mc::RemoteProcess	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-03-04	Martin Quinson	mc: rename Inspector to Observer	blob \| commitdiff \| raw \| diff to current
2021-03-03	Arnaud Giersch	Pointer to const.	blob \| commitdiff \| raw \| diff to current
2021-03-02	Arnaud Giersch	Protect against buffer overflow.	blob \| commitdiff \| raw \| diff to current
2021-03-01	Martin Quinson	remove a workaround for a bug removed in previous commit	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	Split inspector::is_pending() in two logical parts	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	Not sure why to_string is sometimes called when there...	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	Fix build on clang	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	objectification of MC simcall achieved -- many tests...	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-05	eazimi	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-02-05	Arnaud Giersch	Use XBT_DECLARE_ENUM_CLASS for mc::MessageType.	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-20	Martin Quinson	fix MC builds	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-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-26	Arnaud Giersch	std::array...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	Enum class for MC call types, and MC comm pattern diffe...	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-10-08	Martin Quinson	Merge branch 'klement/simgrid-klement' into master	blob \| commitdiff \| raw \| diff to current
2020-10-05	Arnaud Giersch	More uses of std::make_unique.	blob \| commitdiff \| raw \| diff to current
2020-09-30	Martin Quinson	Merge branch 'adrien' into 'master'	blob \| commitdiff \| raw \| diff to current
2020-09-30	Martin Quinson	Merge branch 'master' into adrien	blob \| commitdiff \| raw \| diff to current
2020-09-26	Martin Quinson	Merge branch 'master' of framagit.org:Adrien.Gougeon...	blob \| commitdiff \| raw \| diff to current
2020-07-09	Martin Quinson	Merge branch 'master' into klement	blob \| commitdiff \| raw \| diff to current
2020-07-03	Arnaud Giersch	[sonar] Const etc. (round #3).	blob \| commitdiff \| raw \| diff to current
2020-07-03	Clément Courageux	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2020-07-03	Arnaud Giersch	[sonar] Declare functions "const" (round #2).	blob \| commitdiff \| raw \| diff to current
2020-07-02	Arnaud Giersch	[sonar] Convert integer literals to bool literals.	blob \| commitdiff \| raw \| diff to current
2020-07-02	Arnaud Giersch	[sonar] Declare functions "const" in src/mc/.	blob \| commitdiff \| raw \| diff to current
2020-07-01	Arnaud Giersch	[sonar] Remove redundant casts.	blob \| commitdiff \| raw \| diff to current
2020-06-12	Augustin Degomme	Fix most of spelling mistakes in src/	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/Client into remote/AppSide	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom