AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2 days ago	Martin Quinson	cosmetics master	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Move more of the CheckerSide creation logic to the...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	MC: disable Address Space Layout Randomization in the...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Differ the creation of the RemoteProcessMemory to when...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Better responsabilities splitup between CheckerSide...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Move methods not related to Memory out of RemoteProcess...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Finally kill the now empty ModelChecker class	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Move the memory handling of RemoteProcessMemory singlet...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Move handle_message from ModelChecker to RemoteProcessM...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Move handle_waitpid from ModelChecker to RemoteProcessM...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Make a global singleton of Exploration, to kill ModelCh...	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Gosh, how many calls to that global were there?	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Kill a now unused class in mc	commit \| commitdiff \| tree \| snapshot
2 days ago	Martin Quinson	Remove some more usage of mc_model_checker in Region...	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Another use of mc_model_checker disapears. In Snapshot...	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	another mc_model_checker call location disappears	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Fix make distcheck	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Fix MC+clang builds	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Reduce a bit the adherance of handle_waitpid to ModelCh...	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree \| snapshot
3 days ago	mlaurent	Move DPOR and sleep set algorithm from backtrack to...	commit \| commitdiff \| tree \| snapshot
3 days ago	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree \| snapshot
3 days ago	mlaurent	Replace todo direct access with consider methods; guide...	commit \| commitdiff \| tree \| snapshot
3 days ago	mlaurent	BasicGuide handle next_transition if asked to	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Merge CheckerSide::start() intp the constructor	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Better split of responsabilities between CheckerSide...	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	Move the checker_side_ from the ModelChecker to the...	commit \| commitdiff \| tree \| snapshot
3 days ago	Martin Quinson	One usage of mc_model_checker less	commit \| commitdiff \| tree \| snapshot
3 days ago	mlaurent	Add GuidedState abstract class; move ActorState management	commit \| commitdiff \| tree \| snapshot
4 days ago	Martin Quinson	Simplify Channel::receive by handling non-blocking...	commit \| commitdiff \| tree \| snapshot
4 days ago	Martin Quinson	A few calls to mc_model_checker less by passing more...	commit \| commitdiff \| tree \| snapshot
4 days ago	Martin Quinson	Move handle_simcall from ModelChecker to RemoteApp	commit \| commitdiff \| tree \| snapshot
4 days ago	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree \| snapshot
4 days ago	mlaurent	Add reference to parent state: only use this creation...	commit \| commitdiff \| tree \| snapshot
5 days ago	Arnaud Giersch	Missing include.	commit \| commitdiff \| tree \| snapshot
5 days ago	Arnaud Giersch	Decrease required version for nlohmann_json; add to...	commit \| commitdiff \| tree \| snapshot
6 days ago	Arnaud Giersch	Useless guards.	commit \| commitdiff \| tree \| snapshot
6 days ago	Arnaud Giersch	Apply "smpi/buffering" when MC_record_replay_is_active...	commit \| commitdiff \| tree \| snapshot
6 days ago	Martin Quinson	Sanitize how we know the current MC mode	commit \| commitdiff \| tree \| snapshot
6 days ago	Martin Quinson	Make it compile with all warnings enabled	commit \| commitdiff \| tree \| snapshot
6 days ago	Martin Quinson	Document a future cleanup to do when we bump cmake...	commit \| commitdiff \| tree \| snapshot
7 days ago	Arnaud Giersch	Remove comments about non-existent support for smpi...	commit \| commitdiff \| tree \| snapshot
7 days ago	Arnaud Giersch	Really check the privatization option in the MCed SMPI...	commit \| commitdiff \| tree \| snapshot
8 days ago	Arnaud Giersch	Inform if JSON lib is found.	commit \| commitdiff \| tree \| snapshot
8 days ago	Martin Quinson	Test for JSON before using it	commit \| commitdiff \| tree \| snapshot
8 days ago	Martin Quinson	Cosmetics	commit \| commitdiff \| tree \| snapshot
8 days ago	Martin Quinson	fix make distcheck	commit \| commitdiff \| tree \| snapshot
8 days ago	Fred Suter	Merge branch 'master' into 'master'	commit \| commitdiff \| tree \| snapshot
8 days ago	Adrien	Add wfformat json DAG loader and DAG doc	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Correctly protect tests property settings, bummer	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Give the remote_process_memory to the mc::State constructor	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Move another function of ModelChecker to RemoteProcessM...	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Move another function out of ModelChecker	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Move a function from ModelChecker to Exploration	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	move wait_for_requests() from ModelChecker to RemoteApp	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Inline a function in ModelChecker	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Move one method from ModelChecker to Exploration	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Move 2 functions from mc::ModelChecker to mc::RemoteApp	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Make the sendsend tests at least fail fast to not hinde...	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	Clean leftovers	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	MC: stop reading maxpid in memory, but ask it over...	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	One use less of the global mc_model_checker	commit \| commitdiff \| tree \| snapshot
9 days ago	Martin Quinson	This seems to reduce the amount of failure, but I don...	commit \| commitdiff \| tree \| snapshot
9 days ago	Arnaud Giersch	Fix build with -D_GLIBCXX_DEBUG [-Werror=range-loop...	commit \| commitdiff \| tree \| snapshot
11 days ago	Arnaud Giersch	Fix assert: min and max are both included in interval...	commit \| commitdiff \| tree \| snapshot
11 days ago	Martin Quinson	Merge branch 'udpor-phase5' into 'master'	commit \| commitdiff \| tree \| snapshot
11 days ago	Martin Quinson	Try to avoid a segfault on assert message	commit \| commitdiff \| tree \| snapshot
11 days ago	Maxwell Pirtle	Add first test for immediate conflicts edge case	commit \| commitdiff \| tree \| snapshot
12 days ago	Maxwell Pirtle	Add first batch of tests for conflict detection among...	commit \| commitdiff \| tree \| snapshot
12 days ago	Henri Casanova	re-fixed assert message with up-to-date configuration...	commit \| commitdiff \| tree \| snapshot
12 days ago	Henri Casanova	Assert message fix	commit \| commitdiff \| tree \| snapshot
12 days ago	Maxwell Pirtle	Add implementation for immediate conflicts	commit \| commitdiff \| tree \| snapshot
12 days ago	Maxwell Pirtle	Require conflict-freedom in is_valid_configuration	commit \| commitdiff \| tree \| snapshot
12 days ago	Maxwell Pirtle	Add src/.../udpor/udpor_tests_private.hpp to CMake	commit \| commitdiff \| tree \| snapshot
12 days ago	Arnaud Giersch	Eager mode is for the first case only (thx adegomme).	commit \| commitdiff \| tree \| snapshot
12 days ago	Maxwell Pirtle	Add test to verify topological ordering of EventSet	commit \| commitdiff \| tree \| snapshot
12 days ago	Arnaud Giersch	Improve doc for smpi/buffering.	commit \| commitdiff \| tree \| snapshot
13 days ago	Arnaud Giersch	Fix asserts for when received size is 0 (message type...	commit \| commitdiff \| tree \| snapshot
13 days ago	Arnaud Giersch	Depreciate unused functions s4u::Comm::copy_{buffer...	commit \| commitdiff \| tree \| snapshot
13 days ago	Arnaud Giersch	Inline s4u::Comm::copy_pointer_callback which is the...	commit \| commitdiff \| tree \| snapshot
13 days ago	Maxwell Pirtle	Begin filling in computations of ex(C) and en(C)	commit \| commitdiff \| tree \| snapshot
13 days ago	Arnaud Giersch	Depreciate ForcefulKillException::try_n_catch().	commit \| commitdiff \| tree \| snapshot
13 days ago	Arnaud Giersch	Obvious typo.	commit \| commitdiff \| tree \| snapshot
13 days ago	Maxwell Pirtle	Fix logic for mutual conflict between two events	commit \| commitdiff \| tree \| snapshot
13 days ago	Maxwell Pirtle	Add conflict-free invariant check to Configuration	commit \| commitdiff \| tree \| snapshot
13 days ago	Arnaud Giersch	Use #include <...> for foreign header files.	commit \| commitdiff \| tree \| snapshot
13 days ago	Maxwell Pirtle	Add preliminary tests for checking event conflicts	commit \| commitdiff \| tree \| snapshot
2023-03-08	Maxwell Pirtle	Add conflict detection to EventSet	commit \| commitdiff \| tree \| snapshot
2023-03-08	Martin Quinson	Merge branch 'udpor-phase4' into 'master'	commit \| commitdiff \| tree \| snapshot
2023-03-07	Maxwell Pirtle	Add ability to restrict maximum subset size	commit \| commitdiff \| tree \| snapshot
2023-03-07	Maxwell Pirtle	Add asserts for Configuration vs EventSet	commit \| commitdiff \| tree \| snapshot
2023-03-07	Maxwell Pirtle	Allow iteration over maximal subsets of an EventSet	commit \| commitdiff \| tree \| snapshot
2023-03-07	Maxwell Pirtle	Move topological ordering to EventSet	commit \| commitdiff \| tree \| snapshot
2023-03-07	Maxwell Pirtle	Rename `EventSet::is_maximal_event_set()`	commit \| commitdiff \| tree \| snapshot
2023-03-07	Maxwell Pirtle	Add some basic tests for variable_for_loop	commit \| commitdiff \| tree \| snapshot
2023-03-06	Arnaud Giersch	Fixes in docs/source/tuto_* (untested).	commit \| commitdiff \| tree \| snapshot
2023-03-06	Maxwell Pirtle	Write maximal_subsets_iterator_wrapper with xbt utils	commit \| commitdiff \| tree \| snapshot
2023-03-06	Maxwell Pirtle	Fix edge cases in variable_for_loop	commit \| commitdiff \| tree \| snapshot
2023-03-06	Maxwell Pirtle	Write LazyPowerSet in terms of iterator_wrapper	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom