AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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