AND Public Git Repository - simgrid.git/history - src/mc/explo/UdporChecker.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / explo / UdporChecker.cpp

2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-11-05	Martin Quinson	Remove the stateful model-checking from the archive...	blob \| commitdiff \| raw
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-29	Arnaud Giersch	Pass large objects by reference to const (Sonar).	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	blob \| commitdiff \| raw \| diff to current
2023-06-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-09	Martin Quinson	Merge branch 'udpor-phase8' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Only compute extensions for enabled events	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add events with implicit bottom event	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add "working" UDPOR on small examples with CommWait...	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add monotonically-increasing IDs for UnfoldingEvent	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	Arnaud Giersch	Clang-tidy: readability-qualified-auto.	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw \| diff to current
2023-05-10	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-05-03	Martin Quinson	Factorize more code between DFSExplo and LivenessExplo...	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	More automatic memory mgmt in MC	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	MC: give each state an incoming transition too	blob \| commitdiff \| raw \| diff to current
2023-04-26	Martin Quinson	Merge branch 'operation-plugin' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-06	Maxwell Pirtle	Rename `remove()` method on `Unfolding`	blob \| commitdiff \| raw \| diff to current
2023-04-06	Maxwell Pirtle	Make use of the sets `G` and `U` with `Unfolding`	blob \| commitdiff \| raw \| diff to current
2023-04-06	Maxwell Pirtle	Fix bug with immediate conflict detection	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Fix conflict detection between configs + history	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Clarify that the issuer for a CommWait() action is...	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Add first round of debug logging to UDPOR	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Intermediate commit to prove that UDPOR functions	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Add first steps for ex(C) for CommWait	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Move state stack management to member on UnfoldingChecker	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Track the current sequence of states with UDPOR	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Add skeleton implementation for ex(C) for CommSend	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Add skeleton implementations to ExtensionSetCalculator	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Begin tracking latest events for each actor	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-24	Arnaud Giersch	Delete redundant blank lines at the start of a code...	blob \| commitdiff \| raw \| diff to current
2023-03-23	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Put everything in position to re-fork the verified App	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Replace todo direct access with consider methods; guide...	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	A few calls to mc_model_checker less by passing more...	blob \| commitdiff \| raw \| diff to current
2023-03-15	Maxwell Pirtle	Move alternative computation to Configuration for testing	blob \| commitdiff \| raw \| diff to current
2023-03-15	Maxwell Pirtle	Add comments in K-partial alternatives computation	blob \| commitdiff \| raw \| diff to current
2023-03-14	Maxwell Pirtle	Add first go at implementation of K-partial alternatives	blob \| commitdiff \| raw \| diff to current
2023-03-13	Fred Suter	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-13	Maxwell Pirtle	Add clean up phase to UDPOR	blob \| commitdiff \| raw \| diff to current
2023-03-10	Martin Quinson	Merge branch 'udpor-phase5' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-08	Maxwell Pirtle	Begin filling in computations of ex(C) and en(C)	blob \| commitdiff \| raw \| diff to current
2023-03-05	Martin Quinson	Merge branch 'maximal-subset-search' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-02	Maxwell Pirtle	Pass references to `const Unfolding*` in most places	blob \| commitdiff \| raw \| diff to current
2023-02-28	Augustin Degomme	Merge branch 'udpor-phase3' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-28	Maxwell Pirtle	Remove CompatibilityGraph and friends	blob \| commitdiff \| raw \| diff to current
2023-02-27	Maxwell Pirtle	Fix most of the remaining code warnings	blob \| commitdiff \| raw \| diff to current
2023-02-27	Maxwell Pirtle	Add predicate filtering to compatibility graph comp	blob \| commitdiff \| raw \| diff to current
2023-02-27	Maxwell Pirtle	Fix most cosmetics and code warnings	blob \| commitdiff \| raw \| diff to current
2023-02-27	Maxwell Pirtle	Add first go at compatibility graph construction	blob \| commitdiff \| raw \| diff to current
2023-02-27	Maxwell Pirtle	Add first steps towards an implementation of ex(C)	blob \| commitdiff \| raw \| diff to current
2023-02-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-23	Arnaud Giersch	Merge branch 'simgrid-udpor-integration' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-21	Maxwell Pirtle	Add first implementations of History class	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Remove StateManager	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	"Finalize" interface to UnfoldingEvent	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Use std::unordered_set instead of std::set for EventSet	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Move UDPOR constructs out of udpor_global.cpp	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Remove currently unused methods from udpor_globals	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add minor clean ups	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add implementation for state management	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add incomplete implementations of udpor_globals.cpp	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add `udpor` namespace	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Begin porting implementation from tiny_simgrid	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	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-09	Martin Quinson	MC: apply some sonar advices	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Make the RemoteApp a field of the Exploration, and...	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	log_state has nothing to do in RemoteApp, it belongs...	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Convert Api::get_maxpid() into RemoteApp::get_maxpid()	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-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom