package-calculus
The Package Calculus
Star
Fork
Watch

Commits on dev

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