CRC checksums (CRC-16, CRC-32, CRC-32C) for OCaml
ocaml-merkle-sync: generic Merkle DAG sync; irmin Sync.S module type
ocaml-merkle-sync: reusable sync primitives for any content-addressed DAG.
- Layer 1: anti-entropy gossip (branch head exchange, O(log n))
- Layer 2: merkle descent (DAG diff by hash, dependency-order transfer)
- Bloom filter (FNV-1a, ~1% FP rate)
15 tests passing. Fuzz harness for bloom properties.
irmin/lib/sync.ml: Sync.S module type — discover/locate/fetch/push.
Each backend provides its own implementation.
Also: dune fmt across affected packages.
+2
-6
+2
-6
test/interop/crcmod/test.ml
+2
-6
test/interop/crcmod/test.ml
···
50
50
51
51
let crc16_ccitt vec () =
52
52
let got = Crc.crc16_ccitt vec.input in
53
-
Alcotest.(check int)
54
-
(Fmt.str "%s: crc16_ccitt" vec.name)
55
-
vec.crc16_ccitt got
53
+
Alcotest.(check int) (Fmt.str "%s: crc16_ccitt" vec.name) vec.crc16_ccitt got
56
54
57
55
let crc16_x25 vec () =
58
56
let got = Crc.crc16_x25 vec.input in
59
-
Alcotest.(check int)
60
-
(Fmt.str "%s: crc16_x25" vec.name)
61
-
vec.crc16_x25 got
57
+
Alcotest.(check int) (Fmt.str "%s: crc16_x25" vec.name) vec.crc16_x25 got
62
58
63
59
let crc32 vec () =
64
60
let got = Crc.crc32 vec.input in