AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2023-02-24	Maxwell Pirtle	Add complicated topological sort test	commit \| commitdiff \| tree
2023-02-24	Maxwell Pirtle	Add first unit tests for topological sorting	commit \| commitdiff \| tree
2023-02-24	Maxwell Pirtle	Add topological sort of configuration events	commit \| commitdiff \| tree
2023-02-22	Maxwell Pirtle	Add tests for adding events to configurations	commit \| commitdiff \| tree
2023-02-22	Maxwell Pirtle	Add preliminary tests for Configuration	commit \| commitdiff \| tree
2023-02-22	Maxwell Pirtle	Implement adding events to configurations	commit \| commitdiff \| tree
2023-02-22	Maxwell Pirtle	Add extensive tests for checking valid configurations	commit \| commitdiff \| tree
2023-02-21	Maxwell Pirtle	Add method to check if an EventSet is a config	commit \| commitdiff \| tree
2023-02-21	Maxwell Pirtle	Add first batch of tests for History class	commit \| commitdiff \| tree
2023-02-21	Maxwell Pirtle	Add first implementations of History class	commit \| commitdiff \| tree
2023-02-21	Maxwell Pirtle	Introduce extrinsic equivalence between events	commit \| commitdiff \| tree
2023-02-21	Maxwell Pirtle	Add tests for the Unfolding object	commit \| commitdiff \| tree
2023-02-21	Maxwell Pirtle	Add set operator tests for EventSet	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add tests for EventSet equality	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add History object skeleton	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Remove StateManager	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add first batch of tests for UDPOR	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	"Finalize" interface to UnfoldingEvent	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Allow actor transitions to be shared	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add Unfolding data structure	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add implementations for EventSet + Configurations	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add xbt_assert() for state handle overflow	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Use std::unordered_set instead of std::set for EventSet	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Move UDPOR constructs out of udpor_global.cpp	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add `udpor` directory under `mc/explo`	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Remove currently unused methods from udpor_globals	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add minor clean ups	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add implementation for state management	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add incomplete implementations of udpor_globals.cpp	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add `udpor` namespace	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Begin porting implementation from tiny_simgrid	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Add methods between EventSet and Configuration	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Convert EventSet into class from typedef	commit \| commitdiff \| tree
2023-02-20	Maxwell Pirtle	Send actor action probes one at a time	commit \| commitdiff \| tree
2023-02-16	Maxwell Pirtle	Initialize uninitialized transition for root state	commit \| commitdiff \| tree
2023-02-16	Maxwell Pirtle	Fix root-node edge cases for states	commit \| commitdiff \| tree
2023-02-15	Maxwell Pirtle	Add note about resetting `times_considered`	commit \| commitdiff \| tree
2023-02-15	Maxwell Pirtle	Replace pending transition with latest execution	commit \| commitdiff \| tree
2023-02-14	Maxwell Pirtle	Fix condition for XBT_DECLARE_ENUM_CLASS	commit \| commitdiff \| tree
2023-02-13	Maxwell Pirtle	Finalize passing transitions during model checking	commit \| commitdiff \| tree
2023-02-10	Maxwell Pirtle	Add intial steps to transfer transitions to the MC	commit \| commitdiff \| tree
2023-02-09	Maxwell Pirtle	Add patch for arm64 Ubuntu 22.04 in UnwindContext	commit \| commitdiff \| tree

Clone of SimGrid repository with local patches

RSS Atom