pac
This repository has no description
Star
Fork
Watch

Commits on alpine-support-spike

Ryan Gibb
spike: apk's undocumented bare-provides clauses via support constraints (evidence, not for main)
committed
Ryan Gibb
alpine: state apk's documented bare-provides rule in the theory, and check validity against installed state
committed
Ryan Gibb
eval: compare in byte order, whatever the host's locale
committed
Ryan Gibb
eval: pin the reference tools with a nix flake, and refuse any other version
committed
Ryan Gibb
eval/debian: take the goals from goals.txt, not from the baselines
committed
Ryan Gibb
eval: pin the npm packuments the sweep fetched beyond the original snapshot
committed
Ryan Gibb
eval/npm: fail a frozen run that asks for anything the snapshot lacks
committed
Ryan Gibb
npm: serve tarballs from the shim and name bundled copies as out of scope
committed
Ryan Gibb
npm: rank candidates by deprecation and engines, as npm-pick-manifest does
committed
Ryan Gibb
eval: note what running the evaluation on a bigger machine needs
committed
Ryan Gibb
pin pubgrub to its published repository, not a path on one machine
committed
Ryan Gibb
eval: runbook for resolving on a remote compute box
committed
Ryan Gibb
declare the frontends' dependencies, and make the axiom audit a dune alias
committed
Ryan Gibb
alpine: rank providers by the version they offer, as apk does
committed
Ryan Gibb
eval/cargo: resolve for the toolchain cargo falls back to, and a goal that shows it
committed
Ryan Gibb
opam: take a query of atoms, as opam's command line does
committed
Ryan Gibb
opam: enable the goal's test, doc and dev-setup dependencies on request
committed
Ryan Gibb
cargo: resolve the lockfile by default, the build behind --features
committed
Ryan Gibb
eval/cargo: report the strict question too, so the disagreement stays visible
committed
Ryan Gibb
eval/cargo: ask whether our picks survive cargo's repair, not whether our lock is cargo's
committed
Ryan Gibb
drivers: let dune's warnings through, and delete what they and a sweep found dead
committed
Ryan Gibb
eval/npm: place a package only where it shadows no answered lookup
committed
Ryan Gibb
eval: the correspondence and validity harnesses, with the snapshot they measure
committed
Ryan Gibb
cargo: say per-site where the node is keyed by site
committed
Ryan Gibb
cargo: test two sites sharing an alias but naming different crates
committed
Ryan Gibb
cargo: key a dependency by its declaration site, as cargo does
committed
Ryan Gibb
cargo: let the msrv preference choose between compatibility classes
committed
Ryan Gibb
cargo: resolve every target's dependencies, as cargo's resolver does
committed
Ryan Gibb
name the encoded package n and the source name m in the remaining theories
committed
Ryan Gibb
npm: resolve for every platform at once, as npm does
committed
Ryan Gibb
name a relation's elements after the relation: dependencies, conflicts, provides entries, install-if rules
committed
Ryan Gibb
name the encoded package n and the source name m, as the paper does
committed
Ryan Gibb
npm: let a root override bind a peer slot, as npm does
committed
Ryan Gibb
say lookup and name each synthetic package in the profiling line and test prose
committed
Ryan Gibb
rename the code to the paper's vocabulary: synthetic packages, sub-instances, preimages, install-if
committed
Ryan Gibb
npm: stop gating on engines, prefer the dist-tag, and refill a peer slot from the tree
committed
Ryan Gibb
opam: replay builtin-0install's decision order behind --0install-order
committed
Ryan Gibb
alpine: spell out the designation parameter
committed
Ryan Gibb
alpine driver: build install-if rules where their designated condition lands
committed
Ryan Gibb
alpine: carry an install-if rule on a designated condition, not the root
committed
Ryan Gibb
cargo: print the decoded parent relation behind --print-parents
committed
Ryan Gibb
alpine: reduce the root's dependees one row at a time, build sets in one pass, intern names
committed
Ryan Gibb
opam: accept the list form of a filter, the shape available: is usually written in
committed
Ryan Gibb
alpine: rank versioned providers by k:, and settle install_if gadgets last
committed
Ryan Gibb
debian: replay apt's work heap behind an --apt-heap flag
committed
Ryan Gibb
debian driver: answer minted names by their closed forms
committed
Ryan Gibb
debian lookups: premise on the solver contract and close the minted shapes
committed
Ryan Gibb
variable formulas: one disjunction gadget per clause, catching up with package formulas
committed
Ryan Gibb
lookups: state the versions side, and premise both lookups on the solver contract
committed
Ryan Gibb
cargo: keep a root's dev row that shares its alias with a normal row
committed
Ryan Gibb
cargo: tag the msrv preference on every name that carries a version
committed
Ryan Gibb
debian: decide a clause gadget to an alternative the solution already carries
committed
Ryan Gibb
debian: say correctly why a clause order collision is harmless
committed
Ryan Gibb
debian: decide a selector with a provider the solution already carries
committed
Ryan Gibb
package formulas: one disjunction gadget per clause, not a chain of two
committed
Ryan Gibb
extraction: inline lex, so a lexicographic compare short-circuits
committed
Ryan Gibb
debian: order a clause's providers as apt does, by priority then name
committed
Ryan Gibb
debian: prefer the leftmost alternative of the clause being decided
committed
Ryan Gibb
debian: parse a package's relationships when a slice reads them
committed
Ryan Gibb
opam: one gadget package per conflict class, claimed by member name
committed