AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2023-03-30	mlaurent	Replace state copy with recipe: list of transition...	commit \| commitdiff \| tree \| snapshot
2023-03-29	mlaurent	Add missing file	commit \| commitdiff \| tree \| snapshot
2023-03-28	mlaurent	Change opened states for a priority queue	commit \| commitdiff \| tree \| snapshot
2023-03-27	mlaurent	Abide by both compiler warnings	commit \| commitdiff \| tree \| snapshot
2023-03-27	mlaurent	Now handle random transition and multiple times transitions	commit \| commitdiff \| tree \| snapshot
2023-03-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree \| snapshot
2023-03-27	Martin Quinson	Activate the stdobject test now that it works	commit \| commitdiff \| tree \| snapshot
2023-03-27	Martin Quinson	Don't set a really short timeout on sendsend now that...	commit \| commitdiff \| tree \| snapshot
2023-03-26	Martin Quinson	Revert "Revalidate tesh files now that safety checking...	commit \| commitdiff \| tree \| snapshot
2023-03-26	Martin Quinson	Implement reforks by forking the application, to save...	commit \| commitdiff \| tree \| snapshot
2023-03-26	Martin Quinson	Allow up to 30 elements in ENUM_CLASS	commit \| commitdiff \| tree \| snapshot
2023-03-25	Martin Quinson	memset 0 the memory that is sent over the network	commit \| commitdiff \| tree \| snapshot
2023-03-25	Martin Quinson	MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO	commit \| commitdiff \| tree \| snapshot
2023-03-25	Martin Quinson	Actually, now that the appside is not ptraced, there...	commit \| commitdiff \| tree \| snapshot
2023-03-25	Martin Quinson	Invert another logic error: we need ptrace when we...	commit \| commitdiff \| tree \| snapshot
2023-03-25	Martin Quinson	This test is always false, as we asserted so just above	commit \| commitdiff \| tree \| snapshot
2023-03-25	Martin Quinson	Do not ask for memory info when restarting in refork...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	Use a portable name for SIGABRT	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	That test seems to pass nowadays	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	Try to use the same test file for non-linux now that...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	MC: disable personality() as it fails on CI and is...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	Revalidate tesh files now that safety checking is based...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	Fix the refork feature by not ptracing App so that...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	More explicit error message	commit \| commitdiff \| tree \| snapshot
2023-03-24	Martin Quinson	Fix another sonar warning	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Delete redundant blank lines at the start of a code...	commit \| commitdiff \| tree \| snapshot
2023-03-24	mlaurent	Add copy constructor to state, so we can backtrack...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Strengthen debug messages on channel send/recv.	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Simplify member initialization.	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Fix test: program needs exactly 2 processes.	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Reduce scope for variable.	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Simplify loop.	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Determine n_transitions on receiving side (and remove...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	There's no need to compute the total transition count...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Remove superfluous test, and reduce depth of nested...	commit \| commitdiff \| tree \| snapshot
2023-03-24	Arnaud Giersch	Merge loops and get rid of the "probes" temporary vector.	commit \| commitdiff \| tree \| snapshot
2023-03-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree \| snapshot
2023-03-23	Martin Quinson	Dont use handle_waitpid after we killed the App, as...	commit \| commitdiff \| tree \| snapshot
2023-03-23	Martin Quinson	Actually, read()=0 is not an issue in the AppSide	commit \| commitdiff \| tree \| snapshot
2023-03-23	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree \| snapshot
2023-03-23	mlaurent	try to fix stack handling	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-21	mlaurent	fix order of execute_next calls	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	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree \| snapshot
2023-03-20	mlaurent	add wait guide and mofidication for the heuristic compu...	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	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	commit \| commitdiff \| tree \| snapshot
2023-03-18	mlaurent	Bases for wait distance guide	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
next

Clone of SimGrid repository with local patches

RSS Atom