AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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