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

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / explo / udpor / UnfoldingEvent.cpp

2023-11-05	Martin Quinson	Another attempt to fix the printf issue on mac: don...	blob \| commitdiff \| raw
2023-11-05	Martin Quinson	Avoid casting errors in printf on MacOSX	blob \| commitdiff \| raw \| diff to current
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-28	Arnaud Giersch	Remove nested code blocks (Sonar).	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	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-27	Arnaud Giersch	Respect coding style for boolean operators.	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	Add ex(C) example with a small program	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-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	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	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	Add first round of debug logging to UDPOR	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Fill in implementation of CommWait before large changes	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-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	Maxwell Pirtle	Address minor comments in MR review	blob \| commitdiff \| raw \| diff to current
2023-03-15	Maxwell Pirtle	Add semantic equivalence to UnfoldingEvent	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-10	Maxwell Pirtle	Add first batch of tests for conflict detection among...	blob \| commitdiff \| raw \| diff to current
2023-03-09	Maxwell Pirtle	Add implementation for immediate conflicts	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-08	Maxwell Pirtle	Fix logic for mutual conflict between two events	blob \| commitdiff \| raw \| diff to current
2023-03-08	Maxwell Pirtle	Add conflict-free invariant check to Configuration	blob \| commitdiff \| raw \| diff to current
2023-03-08	Maxwell Pirtle	Add preliminary tests for checking event conflicts	blob \| commitdiff \| raw \| diff to current
2023-03-08	Maxwell Pirtle	Add conflict detection to EventSet	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-03-02	Maxwell Pirtle	Add first implementation of maximal_subsets_iterator	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-22	Maxwell Pirtle	Add extensive tests for checking valid configurations	blob \| commitdiff \| raw \| diff to current
2023-02-21	Maxwell Pirtle	Add first batch of tests for History class	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-21	Maxwell Pirtle	Introduce extrinsic equivalence between events	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	Add xbt_assert() for state handle overflow	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add `udpor` directory under `mc/explo`	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom