alpha
Login
Join now
ryan.freumh.org
/
pac
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
This repository has no description
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
pac
/
test
/
example
7 folders
·
3 files
at
main
Ryan Gibb
·
Placement's reduction drops the Tree atom and its soundness decodes the layout's reachable restriction, so the placement driver hands PubGrub only exact ranges and solves once, and npm-place.t's grow cases pass in pubgrub order
·
18h ago
fb76a78e
alpine.t
test/example describes each instance it runs, with no paper, figure or history
1d ago
calculus
example: calculus.t pins PubGrub's trace on Fig. 1 extended by E, and its derivation and explanation without D 2
1d ago
cargo.t
test/example describes each instance it runs, with no paper, figure or history
1d ago
debian.t
test/example describes each instance it runs, with no paper, figure or history
1d ago
extensions
Placement's reduction drops the Tree atom and its soundness decodes the layout's reachable restriction, so the placement driver hands PubGrub only exact ranges and solves once, and npm-place.t's grow cases pass in pubgrub order
18h ago
npm.t
test/example describes each instance it runs, with no paper, figure or history
1d ago
opam.t
test/example describes each instance it runs, with no paper, figure or history
1d ago
calculus.t
calculus.t describes its instance rather than citing a figure
18h ago
dune
example: calculus.t pins PubGrub's trace on Fig. 1 extended by E, and its derivation and explanation without D 2
1d ago
extensions.t
Placement's reduction drops the Tree atom and its soundness decodes the layout's reachable restriction, so the placement driver hands PubGrub only exact ranges and solves once, and npm-place.t's grow cases pass in pubgrub order
18h ago