ocaml-pubgrub
An implementation of the PubGrub version solving algorithm in OCaml.
Star
Fork
Watch

Commits on main

Ryan Gibb
decide repeatedly conflicting names first, as uv does
committed
Ryan Gibb
binary-search a range's segments
committed
Ryan Gibb
merge dependents' incompatibilities, as pubgrub-rs does
committed
Ryan Gibb
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
committed
Ryan Gibb
a dependency incompatibility names only listed versions, as points unless ?dense spans them, so vers may grow between calls; solve states the contract
committed
Ryan Gibb
explanations say "no versions of <name> match <range>" and end each sentence with one full stop
committed
Ryan Gibb
let the caller choose which name to decide next
committed
Ryan Gibb
let the caller choose a decision's version with the partial solution in hand
committed
Ryan Gibb
rename the versions and dependencies labels to vers and deps
committed
Ryan Gibb
name module types in camel case, following the stdlib
committed
Ryan Gibb
an unassigned name cannot contradict a negative term: fixes unconstrained ranges never propagating
committed
Ryan Gibb
refresh decision candidates incrementally after backtrack
committed
Ryan Gibb
find conflict satisfiers via the per-name index
committed
Ryan Gibb
index assignments by name in partial_solution
committed
Ryan Gibb
add backtracking and unsatisfiable benchmarks
committed
Ryan Gibb
validate solutions, repeat runs, and add debug flag to bench
committed
Ryan Gibb
zero-pad bench versions to fix ordering
committed
Ryan Gibb
a negative term cannot satisfy a positive term: fixes unsound conflict-resolution generalisation
committed
Ryan Gibb
drop tautological empty-range negative terms so unsatisfiable dependencies terminate
committed
Ryan Gibb
add realistic benchmark
committed
Ryan Gibb
scan smallest bucket in Incompatibilities.mem
committed
Ryan Gibb
index decision candidates by version count
committed
Ryan Gibb
index undecided positive names in partial_solution
committed
Ryan Gibb
index incompatibilities by name
committed
Ryan Gibb
maintain incremental name index in partial_solution
committed
Ryan Gibb
extract incompatibilities module
committed
Ryan Gibb
extract partial_solution module
committed
Ryan Gibb
seperate types.ml
committed
Ryan Gibb
rename resolve to solve
committed
Ryan Gibb
add debug output to expect tests
committed
Ryan Gibb
add benchmarking
committed
Ryan Gibb
init
committed