alpha
Login
Join now
ryan.freumh.org
/
ocaml-pubgrub
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
An implementation of the PubGrub version solving algorithm in OCaml.
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
OCaml
99%
<1%
Dune
<1%
main
Branches
main
backup-fmt
backup-main
perf-reordered
perf
Tags
No tags found
View all branches
View all tags
32
5
0
Code
Clone this repository
Use permalink
HTTPS
https://next.tangled.org/ryan.freumh.org/ocaml-pubgrub
SSH
git@knot.cl.cam.ac.uk:ryan.freumh.org/ocaml-pubgrub
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
bench
1mo ago
lib
1w ago
test
1w ago
.gitignore
4mo ago
.ocamlformat
4mo ago
dune-project
4mo ago
LICENSE
4mo ago
pubgrub-solver.md
4mo ago
pubgrub.opam
4mo ago
Commits
32
decide repeatedly conflicting names first, as uv does
565a3d97
Ryan Gibb
·
1w ago
binary-search a range's segments
b5cff813
Ryan Gibb
·
1w ago
merge dependents' incompatibilities, as pubgrub-rs does
7dd90882
Ryan Gibb
·
1w ago
where ?dense spans a block's top to the next listed version, its dependency incompatibility runs up to, excluding, that version, so neighbouring ranges merge again
09b6c640
Ryan Gibb
·
1w ago
a dependency incompatibility names only listed versions, as points unless ?dense spans them, so vers may grow between calls; solve states the contract
8e607d6d
Ryan Gibb
·
1w ago
explanations say "no versions of <name> match <range>" and end each sentence with one full stop
169b7333
Ryan Gibb
·
1w ago
let the caller choose which name to decide next
533ebc38
Ryan Gibb
·
2w ago
let the caller choose a decision's version with the partial solution in hand
4ad7c889
Ryan Gibb
·
2w ago
rename the versions and dependencies labels to vers and deps
f921af53
Ryan Gibb
·
1mo ago
name module types in camel case, following the stdlib
3c18ad5a
Ryan Gibb
·
2mo ago
Branches
5
main
·
1w ago
Default
backup-fmt
·
2mo ago
Compare
backup-main
·
2mo ago
Compare
perf-reordered
·
2mo ago
Compare
perf
·
4mo ago
Compare