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%
perf
Branches
main
backup-fmt
backup-main
perf-reordered
perf
Tags
No tags found
View all branches
View all tags
11
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
4mo ago
lib
4mo ago
test
4mo ago
.gitignore
4mo ago
.ocamlformat
4mo ago
dune-project
4mo ago
LICENSE
4mo ago
pubgrub-solver.md
4mo ago
pubgrub.opam
4mo ago
Commits
11
add realistic benchmark
38e3487d
Ryan Gibb
·
4mo ago
scan smallest bucket in Incompatibilities.mem
183aef77
Ryan Gibb
·
4mo ago
index decision candidates by version count
cba1c68c
Ryan Gibb
·
4mo ago
index undecided positive names in partial_solution
4478c643
Ryan Gibb
·
4mo ago
extract incompatibilities module with name index
92f1f256
Ryan Gibb
·
4mo ago
extract partial_solution module with incremental name index
5d2dbb8c
Ryan Gibb
·
4mo ago
seperate types.ml
cc1c9eb4
Ryan Gibb
·
4mo ago
rename resolve to solve
a580b190
Ryan Gibb
·
4mo ago
add debug output to expect tests
5cb57225
Ryan Gibb
·
4mo ago
add benchmarking
85a935d1
Ryan Gibb
·
4mo ago
Branches
5
main
·
4d ago
Default
Compare
backup-fmt
·
2mo ago
Compare
backup-main
·
2mo ago
Compare
perf-reordered
·
2mo ago
Compare
perf
·
4mo ago
