test/example · pac · Tangled

ryan.freumh.org / pac

This repository has no description

pac test example

7 folders · 3 files

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

test/example describes each instance it runs, with no paper, figure or history

example: calculus.t pins PubGrub's trace on Fig. 1 extended by E, and its derivation and explanation without D 2

test/example describes each instance it runs, with no paper, figure or history

test/example describes each instance it runs, with no paper, figure or history

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

test/example describes each instance it runs, with no paper, figure or history

test/example describes each instance it runs, with no paper, figure or history

calculus.t describes its instance rather than citing a figure

example: calculus.t pins PubGrub's trace on Fig. 1 extended by E, and its derivation and explanation without D 2

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