Default branch

main
Some checks failed
Build and Test / build (push) Has been cancelled
format / format (push) Has been cancelled

f51b56ffbc · cleanup · Updated 2025-11-25 20:38:19 -05:00

Branches

60eee785a9 · doc: update readme · Updated 2020-11-10 14:06:19 -05:00    simon

652
0
Included

fe114ffa8d · fix: be sure to block sigpipe in subthread · Updated 2020-07-10 12:10:51 -04:00    simon

795
2

56ca1b3753 · perf(CCUnix): avoid reading stderr when it's not used afterwards · Updated 2020-06-06 16:17:28 -04:00    simon

714
3

e94fccc9b1 · move papers · Updated 2020-04-30 22:22:35 -04:00    simon

2939
2

94b3c402b9 · examples: remove lambda.ml · Updated 2020-01-25 18:23:36 -05:00    simon

791
2

527c4414d9 · prepare for 2.8.1 · Updated 2020-01-12 19:18:33 -05:00    simon

803
0
Included

e743451333 · style: small fix · Updated 2019-10-22 18:31:15 -04:00    simon

880
3

b25cf1ea00 · fix: forgot const · Updated 2019-10-11 18:05:34 -04:00    simon

886
0
Included

0a201a3fa0 · fix: add shims for CCArray · Updated 2019-06-15 13:41:20 -04:00    simon

901
1

ed9a966cef · refactor: require 4.03 at least, add inline annotations · Updated 2019-02-02 23:38:59 -05:00    simon

920
1

6a90cb25e7 · wip: fix retrocompat issues in cclist · Updated 2018-12-03 20:59:41 -05:00    simon

939
0
Included

c1ceb42f1c · require recent qcheck · Updated 2018-08-12 16:58:11 -04:00    simon

973
2

ac8aa89c4a · chore(build): use the qtest backend in dune · Updated 2018-04-21 15:06:44 -04:00    simon

1001
1

6d02b2b540 · Merge branch 'master' into stable for 2.1 · Updated 2018-03-28 21:27:11 -04:00    simon

1012
60

098a85f154 · update deps · Updated 2018-02-02 10:14:43 -05:00    simon

1105
2

9f48725a06 · remove qtest makefile and use a script instead · Updated 2018-01-31 09:49:52 -05:00    simon

1108
0
Included

378893e309 · wip: change API of CCBV (see #113) · Updated 2017-04-18 17:25:59 -04:00    simon

1306
1

5e4bf04a20 · wip: lattice structure · Updated 2017-02-23 09:13:10 -05:00    simon

1349
1

e3b6102020 · add labels to CCList in an incompatible way · Updated 2015-11-09 16:23:55 -05:00    simon

1694
2

0de5f684f0 · wip: use mutable array for construction · Updated 2015-09-04 17:33:26 -04:00    simon

1856
1