AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2023-03-23	Martin Quinson	Actually, read()=0 is not an issue in the AppSide	commit \| commitdiff \| tree \| snapshot
2023-03-22	Martin Quinson	Fix some easy sonar smells	commit \| commitdiff \| tree \| snapshot
2023-03-22	Martin Quinson	Fix two sonar bugs	commit \| commitdiff \| tree \| snapshot
2023-03-22	Martin Quinson	Change an example to take its platform file from the...	commit \| commitdiff \| tree \| snapshot
2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	commit \| commitdiff \| tree \| snapshot
2023-03-22	Martin Quinson	jenkins::Flags if you run the tests, be verbose on...	commit \| commitdiff \| tree \| snapshot
2023-03-21	Martin Quinson	Make sure that the dtor of CheckerSide actually kills...	commit \| commitdiff \| tree \| snapshot
2023-03-21	Martin Quinson	Fix the liveness tests when the reforks are compiled...	commit \| commitdiff \| tree \| snapshot
2023-03-20	Martin Quinson	Manually handle the memory associated to the libevent...	commit \| commitdiff \| tree \| snapshot
2023-03-20	Martin Quinson	Do not initialize the App's memory introspection if...	commit \| commitdiff \| tree \| snapshot
2023-03-20	Martin Quinson	Put everything in position to re-fork the verified App	commit \| commitdiff \| tree \| snapshot
2023-03-20	Maxwell Pirtle	Address minor comments in MR review	commit \| commitdiff \| tree \| snapshot
2023-03-20	Maxwell Pirtle	Remove empty Comb.cpp	commit \| commitdiff \| tree \| snapshot
2023-03-20	Maxwell Pirtle	Add documentation for Comb data structure	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	cosmetics	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Move more of the CheckerSide creation logic to the...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	MC: disable Address Space Layout Randomization in the...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Differ the creation of the RemoteProcessMemory to when...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Better responsabilities splitup between CheckerSide...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Move methods not related to Memory out of RemoteProcess...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Move the memory handling of RemoteProcessMemory singlet...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Move handle_message from ModelChecker to RemoteProcessM...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Move handle_waitpid from ModelChecker to RemoteProcessM...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Make a global singleton of Exploration, to kill ModelCh...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Gosh, how many calls to that global were there?	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Kill a now unused class in mc	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Remove some more usage of mc_model_checker in Region...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Another use of mc_model_checker disapears. In Snapshot...	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	another mc_model_checker call location disappears	commit \| commitdiff \| tree \| snapshot
2023-03-19	Martin Quinson	Fix make distcheck	commit \| commitdiff \| tree \| snapshot
2023-03-18	Martin Quinson	Fix MC+clang builds	commit \| commitdiff \| tree \| snapshot
2023-03-18	Martin Quinson	Reduce a bit the adherance of handle_waitpid to ModelCh...	commit \| commitdiff \| tree \| snapshot
2023-03-18	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree \| snapshot
2023-03-18	mlaurent	Move DPOR and sleep set algorithm from backtrack to...	commit \| commitdiff \| tree \| snapshot
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree \| snapshot
2023-03-18	mlaurent	Replace todo direct access with consider methods; guide...	commit \| commitdiff \| tree \| snapshot
2023-03-18	mlaurent	BasicGuide handle next_transition if asked to	commit \| commitdiff \| tree \| snapshot
2023-03-18	Martin Quinson	Merge CheckerSide::start() intp the constructor	commit \| commitdiff \| tree \| snapshot
2023-03-18	Martin Quinson	Better split of responsabilities between CheckerSide...	commit \| commitdiff \| tree \| snapshot
2023-03-18	Martin Quinson	Move the checker_side_ from the ModelChecker to the...	commit \| commitdiff \| tree \| snapshot
2023-03-18	Martin Quinson	One usage of mc_model_checker less	commit \| commitdiff \| tree \| snapshot
2023-03-18	mlaurent	Add GuidedState abstract class; move ActorState management	commit \| commitdiff \| tree \| snapshot
2023-03-17	Martin Quinson	Simplify Channel::receive by handling non-blocking...	commit \| commitdiff \| tree \| snapshot
2023-03-17	Martin Quinson	A few calls to mc_model_checker less by passing more...	commit \| commitdiff \| tree \| snapshot
2023-03-17	Martin Quinson	Move handle_simcall from ModelChecker to RemoteApp	commit \| commitdiff \| tree \| snapshot
2023-03-17	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree \| snapshot
2023-03-17	mlaurent	Add reference to parent state: only use this creation...	commit \| commitdiff \| tree \| snapshot
2023-03-17	Maxwell Pirtle	Fix test in k-partial alternatives step five	commit \| commitdiff \| tree \| snapshot
2023-03-16	Arnaud Giersch	Missing include.	commit \| commitdiff \| tree \| snapshot
2023-03-16	Arnaud Giersch	Decrease required version for nlohmann_json; add to...	commit \| commitdiff \| tree \| snapshot
2023-03-16	Maxwell Pirtle	Remove unused code in Comb.cpp + fix MANIFEST.in	commit \| commitdiff \| tree \| snapshot
2023-03-16	Maxwell Pirtle	Add full example for K-partial alternatives	commit \| commitdiff \| tree \| snapshot
2023-03-16	Arnaud Giersch	Useless guards.	commit \| commitdiff \| tree \| snapshot
2023-03-16	Arnaud Giersch	Apply "smpi/buffering" when MC_record_replay_is_active...	commit \| commitdiff \| tree \| snapshot
2023-03-15	Martin Quinson	Sanitize how we know the current MC mode	commit \| commitdiff \| tree \| snapshot
2023-03-15	Martin Quinson	Make it compile with all warnings enabled	commit \| commitdiff \| tree \| snapshot
2023-03-15	Martin Quinson	Document a future cleanup to do when we bump cmake...	commit \| commitdiff \| tree \| snapshot
2023-03-15	Maxwell Pirtle	Move alternative computation to Configuration for testing	commit \| commitdiff \| tree \| snapshot
2023-03-15	Maxwell Pirtle	Add semantic equivalence to UnfoldingEvent	commit \| commitdiff \| tree \| snapshot
2023-03-15	Maxwell Pirtle	Add comments in K-partial alternatives computation	commit \| commitdiff \| tree \| snapshot
2023-03-14	Arnaud Giersch	Remove comments about non-existent support for smpi...	commit \| commitdiff \| tree \| snapshot
2023-03-14	Arnaud Giersch	Really check the privatization option in the MCed SMPI...	commit \| commitdiff \| tree \| snapshot
2023-03-14	Maxwell Pirtle	Add first go at implementation of K-partial alternatives	commit \| commitdiff \| tree \| snapshot
2023-03-14	Arnaud Giersch	Inform if JSON lib is found.	commit \| commitdiff \| tree \| snapshot
2023-03-13	Martin Quinson	Test for JSON before using it	commit \| commitdiff \| tree \| snapshot
2023-03-13	Martin Quinson	Cosmetics	commit \| commitdiff \| tree \| snapshot
2023-03-13	Martin Quinson	fix make distcheck	commit \| commitdiff \| tree \| snapshot
2023-03-13	Fred Suter	Merge branch 'master' into 'master'	commit \| commitdiff \| tree \| snapshot
2023-03-13	Adrien	Add wfformat json DAG loader and DAG doc	commit \| commitdiff \| tree \| snapshot
2023-03-13	Maxwell Pirtle	Add Comb data structure for K-partial alternatives	commit \| commitdiff \| tree \| snapshot
2023-03-13	Maxwell Pirtle	Add clean up phase to UDPOR	commit \| commitdiff \| tree \| snapshot
2023-03-13	Martin Quinson	Correctly protect tests property settings, bummer	commit \| commitdiff \| tree \| snapshot
2023-03-13	Martin Quinson	Give the remote_process_memory to the mc::State constructor	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Move another function of ModelChecker to RemoteProcessM...	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Move another function out of ModelChecker	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Move a function from ModelChecker to Exploration	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	move wait_for_requests() from ModelChecker to RemoteApp	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Inline a function in ModelChecker	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Move one method from ModelChecker to Exploration	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Move 2 functions from mc::ModelChecker to mc::RemoteApp	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Make the sendsend tests at least fail fast to not hinde...	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	Clean leftovers	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	MC: stop reading maxpid in memory, but ask it over...	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	One use less of the global mc_model_checker	commit \| commitdiff \| tree \| snapshot
2023-03-12	Martin Quinson	This seems to reduce the amount of failure, but I don...	commit \| commitdiff \| tree \| snapshot
2023-03-12	Arnaud Giersch	Fix build with -D_GLIBCXX_DEBUG [-Werror=range-loop...	commit \| commitdiff \| tree \| snapshot
2023-03-10	Arnaud Giersch	Fix assert: min and max are both included in interval...	commit \| commitdiff \| tree \| snapshot
2023-03-10	Martin Quinson	Merge branch 'udpor-phase5' into 'master'	commit \| commitdiff \| tree \| snapshot
2023-03-10	Martin Quinson	Try to avoid a segfault on assert message	commit \| commitdiff \| tree \| snapshot
2023-03-10	Maxwell Pirtle	Add first test for immediate conflicts edge case	commit \| commitdiff \| tree \| snapshot
2023-03-10	Maxwell Pirtle	Add first batch of tests for conflict detection among...	commit \| commitdiff \| tree \| snapshot
2023-03-09	Henri Casanova	re-fixed assert message with up-to-date configuration...	commit \| commitdiff \| tree \| snapshot
2023-03-09	Henri Casanova	Assert message fix	commit \| commitdiff \| tree \| snapshot
2023-03-09	Maxwell Pirtle	Add implementation for immediate conflicts	commit \| commitdiff \| tree \| snapshot
2023-03-09	Maxwell Pirtle	Require conflict-freedom in is_valid_configuration	commit \| commitdiff \| tree \| snapshot
2023-03-09	Maxwell Pirtle	Add src/.../udpor/udpor_tests_private.hpp to CMake	commit \| commitdiff \| tree \| snapshot
2023-03-09	Arnaud Giersch	Eager mode is for the first case only (thx adegomme).	commit \| commitdiff \| tree \| snapshot
2023-03-09	Maxwell Pirtle	Add test to verify topological ordering of EventSet	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom