AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2023-03-02	Maxwell Pirtle	Pass references to `const Unfolding*` in most places	commit \| commitdiff \| tree
2023-03-02	Maxwell Pirtle	Add first implementation of maximal_subsets_iterator	commit \| commitdiff \| tree
2023-03-01	Maxwell Pirtle	Use boost::iterator_facade for History::Iterator	commit \| commitdiff \| tree
2023-02-28	Maxwell Pirtle	Add src/xbt/.../subsets_tests.cpp to manifest file	commit \| commitdiff \| tree
2023-02-28	Maxwell Pirtle	Remove CompatibilityGraph and friends	commit \| commitdiff \| tree
2023-02-28	Maxwell Pirtle	Add tests for LazyKSubsets and LazyPowerset	commit \| commitdiff \| tree
2023-02-28	Maxwell Pirtle	Add LazyPowerSet and LazyKSubsets	commit \| commitdiff \| tree
2023-02-28	Maxwell Pirtle	Add more comments to subsets_iterator implementation	commit \| commitdiff \| tree
2023-02-28	Maxwell Pirtle	Add powerset_iterator to simgrid::xbt	commit \| commitdiff \| tree
2023-02-28	Maxwell Pirtle	Use boost::iterator_facade for subsets_iterator	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Remove subsets.cpp file	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add "working" (but untested) implementation of iterative...	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add first "implementation" of k-subsets iterator	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add iterator files to xbt/utils	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Fix most of the remaining code warnings	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add default method for constructing full graph	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add predicate filtering to compatibility graph comp	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Fix most cosmetics and code warnings	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Create a private struct to hold search data	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add first go at compatibility graph construction	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add first steps towards an implementation of ex(C)	commit \| commitdiff \| tree
2023-02-27	Maxwell Pirtle	Add CompatibilityGraph and CompatibilityGraphNode	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom