AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2023-05-16	Maxwell Pirtle	Add tests before changes to WakeupTree structure	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add first round of extensive docs to ODPOR methods	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add test files for WakeupTree	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add explicit ODPOR clean-up phase to DFSExplorer	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add ODPOR "backtracking" logic	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add ODPOR extension computation (lines 4-6)	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Use `std::shared_ptr<Transition>` for Execution	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add ODPOR race detection phase rough-draft	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add boolean check for wakeup tree initialization	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Automatically remove nodes from parents	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add tree pruning/subtree methods to State	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add skeleton for expansion phase of ODPOR	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add logic for subtree node removal	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Finish post-order travesal with WakeupTreeIterator	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add logic for subtree extraction from wakeup trees	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add complicated computation of v ~_E w to Execution	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add skeleton of implementation for tree insertion	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add WakeupTreeIterator and WakeupTree skeletons	commit \| commitdiff \| tree
2023-05-16	Maxwell Pirtle	Add more docmentation for get_first_sdpor_initial()	commit \| commitdiff \| tree
2023-05-15	Maxwell Pirtle	Add more documentation to ClockVector/Execution	commit \| commitdiff \| tree
2023-05-15	Maxwell Pirtle	Add unit tests for ClockVector	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Fix MANIFEST.in	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Integrate SDPOR into `model-check/reduction` flag	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add more documentation to essential SDPOR methods	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Modify tesh suite expectations with changes to dependencies	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Fix ObjectAccess dependency check	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Fix subtlety with SDPOR/ODPOR initials	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Fix two off-by-one errors with clock vectors	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Mark `ActorJoin` dependent with `target_`	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Prevent adding outgoing transition for top-most state	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add workaround for subtlety with state regeneration	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add first tests for "happens-before"	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Move SDPOR core computation into a method	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add tentatively-working SDPOR implementation	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add initial outline of SDPOR implementation	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add Execution concept without ExecutionViews	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Remove sdpor folder in favor of odpor only	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add `Execution` to represent series of transitions	commit \| commitdiff \| tree
2023-05-12	Maxwell Pirtle	Add class for eventual "happens-before" computations	commit \| commitdiff \| tree
2023-04-06	Maxwell Pirtle	Rename `remove()` method on `Unfolding`	commit \| commitdiff \| tree
2023-04-06	Maxwell Pirtle	Make use of the sets `G` and `U` with `Unfolding`	commit \| commitdiff \| tree
2023-04-06	Maxwell Pirtle	Fix bug with immediate conflict detection	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Fix conflict detection between configs + history	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Fix dynamic_cast<> typo for computation for CommRecv	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Clarify that the issuer for a CommWait() action is...	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add first round of debug logging to UDPOR	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Intermediate commit to prove that UDPOR functions	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Fill in implementation of CommWait before large changes	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add extension set computations without type casts	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add first steps for ex(C) for CommWait	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Move state stack management to member on UnfoldingChecker	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add comment on state restoration in UnfoldingChecker	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Track the current sequence of states with UDPOR	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Replace switch statement with map of handlers	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add skeleton implementation for ex(C) for CommSend	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add skeleton implementations to ExtensionSetCalculator	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add ExtensionSetCalculator files	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add test case for tracking latest events/transitions	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Add dependency between same actor for tests	commit \| commitdiff \| tree
2023-04-05	Maxwell Pirtle	Begin tracking latest events for each actor	commit \| commitdiff \| tree
2023-03-20	Maxwell Pirtle	Address minor comments in MR review	commit \| commitdiff \| tree
2023-03-20	Maxwell Pirtle	Remove empty Comb.cpp	commit \| commitdiff \| tree
2023-03-20	Maxwell Pirtle	Add documentation for Comb data structure	commit \| commitdiff \| tree
2023-03-17	Maxwell Pirtle	Fix test in k-partial alternatives step five	commit \| commitdiff \| tree
2023-03-16	Maxwell Pirtle	Remove unused code in Comb.cpp + fix MANIFEST.in	commit \| commitdiff \| tree
2023-03-16	Maxwell Pirtle	Add full example for K-partial alternatives	commit \| commitdiff \| tree
2023-03-15	Maxwell Pirtle	Move alternative computation to Configuration for testing	commit \| commitdiff \| tree
2023-03-15	Maxwell Pirtle	Add semantic equivalence to UnfoldingEvent	commit \| commitdiff \| tree
2023-03-15	Maxwell Pirtle	Add comments in K-partial alternatives computation	commit \| commitdiff \| tree
2023-03-14	Maxwell Pirtle	Add first go at implementation of K-partial alternatives	commit \| commitdiff \| tree
2023-03-13	Maxwell Pirtle	Add Comb data structure for K-partial alternatives	commit \| commitdiff \| tree
2023-03-13	Maxwell Pirtle	Add clean up phase to UDPOR	commit \| commitdiff \| tree
2023-03-10	Maxwell Pirtle	Add first test for immediate conflicts edge case	commit \| commitdiff \| tree
2023-03-10	Maxwell Pirtle	Add first batch of tests for conflict detection among...	commit \| commitdiff \| tree
2023-03-09	Maxwell Pirtle	Add implementation for immediate conflicts	commit \| commitdiff \| tree
2023-03-09	Maxwell Pirtle	Require conflict-freedom in is_valid_configuration	commit \| commitdiff \| tree
2023-03-09	Maxwell Pirtle	Add src/.../udpor/udpor_tests_private.hpp to CMake	commit \| commitdiff \| tree
2023-03-09	Maxwell Pirtle	Add test to verify topological ordering of EventSet	commit \| commitdiff \| tree
2023-03-08	Maxwell Pirtle	Begin filling in computations of ex(C) and en(C)	commit \| commitdiff \| tree
2023-03-08	Maxwell Pirtle	Fix logic for mutual conflict between two events	commit \| commitdiff \| tree
2023-03-08	Maxwell Pirtle	Add conflict-free invariant check to Configuration	commit \| commitdiff \| tree
2023-03-08	Maxwell Pirtle	Add preliminary tests for checking event conflicts	commit \| commitdiff \| tree
2023-03-08	Maxwell Pirtle	Add conflict detection to EventSet	commit \| commitdiff \| tree
2023-03-07	Maxwell Pirtle	Add ability to restrict maximum subset size	commit \| commitdiff \| tree
2023-03-07	Maxwell Pirtle	Add asserts for Configuration vs EventSet	commit \| commitdiff \| tree
2023-03-07	Maxwell Pirtle	Allow iteration over maximal subsets of an EventSet	commit \| commitdiff \| tree
2023-03-07	Maxwell Pirtle	Move topological ordering to EventSet	commit \| commitdiff \| tree
2023-03-07	Maxwell Pirtle	Rename `EventSet::is_maximal_event_set()`	commit \| commitdiff \| tree
2023-03-07	Maxwell Pirtle	Add some basic tests for variable_for_loop	commit \| commitdiff \| tree
2023-03-06	Maxwell Pirtle	Write maximal_subsets_iterator_wrapper with xbt utils	commit \| commitdiff \| tree
2023-03-06	Maxwell Pirtle	Fix edge cases in variable_for_loop	commit \| commitdiff \| tree
2023-03-06	Maxwell Pirtle	Write LazyPowerSet in terms of iterator_wrapper	commit \| commitdiff \| tree
2023-03-06	Maxwell Pirtle	Add iterator_wrapping convenience container	commit \| commitdiff \| tree
2023-03-06	Maxwell Pirtle	Add first implementation of variable for-loop	commit \| commitdiff \| tree
2023-03-06	Maxwell Pirtle	Add computation for minimally reproducible sets	commit \| commitdiff \| tree
2023-03-03	Maxwell Pirtle	Correct MANIFEST.in according to `make distcheck`	commit \| commitdiff \| tree
2023-03-03	Maxwell Pirtle	Filter events before performing iteration	commit \| commitdiff \| tree
2023-03-02	Maxwell Pirtle	Fix subtle implementation bug with maximal set filtering	commit \| commitdiff \| tree
2023-03-02	Maxwell Pirtle	Add working implementation of maximal_subsets_iterator	commit \| commitdiff \| tree
2023-03-02	Maxwell Pirtle	Clean up maximum_subsets_iterator	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom