Getting Started
Documentation
Organisations
backtracking
ocaml-hashcons
branch/master
Build History
Build History for branch/master
Builds (9)
fixes for ocaml-ci
9d6a78
-
Mar 14 15:24 +00:00
Failed in 1m08s
rule110 does not require quicksort.term
74faf8
-
Jan 28 20:15 +00:00
Failed in 5m58s
Merge pull request #12 from edwintorok/master dune: add missing deps
f242e3
-
Jan 28 20:13 +00:00
Running for 0s
preparing release 1.4
31fc6b
-
Jan 28 20:05 +00:00
Failed in 7m04s
cleaning up, update CHANGES, more tests
4474c5
-
Jan 28 19:55 +00:00
Failed in 2m49s
Merge pull request #8 from dlesbre/hset-functions Extra Hset functions
4285c8
-
Jan 28 19:37 +00:00
Failed in 2m02s
Merge pull request #10 from dlesbre/faster_comparison Faster equality on Hset and Hmap
215dde
-
Jan 28 19:26 +00:00
Failed in 8m06s
update README
942b5a
-
Jan 28 14:54 +00:00
Failed in 8m22s
another backport from OCaml's Weak
46ce4e
-
Jan 28 14:51 +00:00
Running for 0s