Default branch

main 4948d74e45 · fix comments about hash mixer constant · Updated 2026-04-24 12:30:44 -04:00

ZIP  TAR.GZ

Branches

fix-346 fc57765c31 · fix(ccint): pick popcount at runtime on 64 bits · Updated 2020-12-28 17:13:02 -05:00    simon	688 0	Included	ZIP  TAR.GZ
wip-ci-cache-2020-12-21 b5c0de301d · chore: try to optimize CI a bit further · Updated 2020-12-21 18:23:47 -05:00    simon	695 4		ZIP  TAR.GZ
wip-ci-2020-11-10 60eee785a9 · doc: update readme · Updated 2020-11-10 14:06:19 -05:00    simon	716 0	Included	ZIP  TAR.GZ
br-2.8.2 fe114ffa8d · fix: be sure to block sigpipe in subthread · Updated 2020-07-10 12:10:51 -04:00    simon	859 2		ZIP  TAR.GZ
wip-unix-2020-06-06 56ca1b3753 · perf(CCUnix): avoid reading stderr when it's not used afterwards · Updated 2020-06-06 16:17:28 -04:00    simon	778 3		ZIP  TAR.GZ
docs e94fccc9b1 · move papers · Updated 2020-04-30 22:22:35 -04:00    simon	3003 2		ZIP  TAR.GZ
examples 94b3c402b9 · examples: remove lambda.ml · Updated 2020-01-25 18:23:36 -05:00    simon	855 2		ZIP  TAR.GZ
br-2.8.1 527c4414d9 · prepare for 2.8.1 · Updated 2020-01-12 19:18:33 -05:00    simon	867 0	Included	ZIP  TAR.GZ
feat-deque-filter-in-place e743451333 · style: small fix · Updated 2019-10-22 18:31:15 -04:00    simon	944 3		ZIP  TAR.GZ
wip-264-improve b25cf1ea00 · fix: forgot const · Updated 2019-10-11 18:05:34 -04:00    simon	950 0	Included	ZIP  TAR.GZ
wip-4.08 0a201a3fa0 · fix: add shims for CCArray · Updated 2019-06-15 13:41:20 -04:00    simon	965 1		ZIP  TAR.GZ
feat-require-4.03 ed9a966cef · refactor: require 4.03 at least, add inline annotations · Updated 2019-02-02 23:38:59 -05:00    simon	984 1		ZIP  TAR.GZ
wip-fix-labels 6a90cb25e7 · wip: fix retrocompat issues in cclist · Updated 2018-12-03 20:59:41 -05:00    simon	1003 0	Included	ZIP  TAR.GZ
wip-qcheck-ounit c1ceb42f1c · require recent qcheck · Updated 2018-08-12 16:58:11 -04:00    simon	1037 2		ZIP  TAR.GZ
wip-qtest-backend ac8aa89c4a · chore(build): use the qtest backend in dune · Updated 2018-04-21 15:06:44 -04:00    simon	1065 1		ZIP  TAR.GZ
stable 6d02b2b540 · Merge branch 'master' into stable for 2.1 · Updated 2018-03-28 21:27:11 -04:00    simon	1076 60		ZIP  TAR.GZ
wip-qtest-dune 098a85f154 · update deps · Updated 2018-02-02 10:14:43 -05:00    simon	1169 2		ZIP  TAR.GZ
no-qtest-makefile 9f48725a06 · remove qtest makefile and use a script instead · Updated 2018-01-31 09:49:52 -05:00    simon	1172 0	Included	ZIP  TAR.GZ
wip-113 378893e309 · wip: change API of CCBV (see #113) · Updated 2017-04-18 17:25:59 -04:00    simon	1370 1		ZIP  TAR.GZ
wip-cclattice 5e4bf04a20 · wip: lattice structure · Updated 2017-02-23 09:13:10 -05:00    simon	1413 1		ZIP  TAR.GZ