ryan.freumh.org / package-calculus
The Package Calculus
Star
Fork 0
Watch

Commits on dev

fibred lookup theorems for solving reduced instances dev
Ryan Gibb committed
drop maxHeartbeats overrides: dispatch cheap name-clash case first main
Ryan Gibb committed
make reduction helpers public, dedup conflict lifting inverses
Ryan Gibb committed
dependency visibility and remove redundant docstring theorem numbering which can get stale
Ryan Gibb committed
virtual normal form zenodo-v2 icfp
Ryan Gibb committed
add default target
Ryan Gibb committed
add license
Ryan Gibb committed
mechanise lifting retractions for all extensions
Ryan Gibb committed
fix section titles
Ryan Gibb committed
add pi/rho containment to concurrent/peer/virtual resolution predicates
Ryan Gibb committed
add normalization of dependencies to functional in name
Ryan Gibb committed
remove DelRel.DependeesExist
Ryan Gibb committed
remove DelRel.NonEmpty
Ryan Gibb committed
guard soundnessRho by depender membership
Ryan Gibb committed
strengthen variable_formula_soundness to a domain-correct assignment
Ryan Gibb committed
update readme
Ryan Gibb committed
fix paper mapping
Ryan Gibb committed
variable renames
Ryan Gibb committed
guard peerReal peer-intermediate packages by parent dependency
Ryan Gibb committed
strengthen composition reduction theorems to expose witnesses (Thm 5.1.3/5.1.4)
Ryan Gibb committed
consolidate DepRel criteria
Ryan Gibb committed
unify theorem naming
Ryan Gibb committed
label consistency
Ryan Gibb committed
golf proofs
Ryan Gibb committed
golf proofs
Ryan Gibb committed
golf proofs
Ryan Gibb committed
init
Ryan Gibb committed