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
/
lib
/
opam
5 files
at
main
Ryan Gibb
·
Every driver hands back its --core walk for main to run once the answer's counts and times are read, and npm's walk reports a registry failure as an incomplete core rather than failing the answer
·
21h ago
f10885ba
dune
drivers: dropped declarations counted per run, not in globals; one warn-error policy for lib; library names spell the ecosystem; npm's cache is the user's
1d ago
lookups.ml
parsers count what they drop: debian's nameless alternatives and stray lines, apk's unreadable k:, and an opam file that cannot be read is a read error
1d ago
opam_parse.ml
opam's sanitize moves to opam_solve and evaluates through the proved vcHolds and opam_parse's one operator table
1d ago
opam_solve.ml
Every driver hands back its --core walk for main to run once the answer's counts and times are read, and npm's walk reports a registry failure as an incomplete core rather than failing the answer
21h ago
order.ml
npm's query comment sits on root; one defer_bot; int_nat beside nat_int; comment placement and what-comments; eval docs; opam's check finds a case-folded root; __pycache__ ignored
1d ago