gazagnaire.org / ocaml-ltp
Licklider Transmission Protocol (CCSDS 734.1-B) for reliable DTN links
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

irmin: restructure into irmin/lib/<backend>/, add Irmin.SHA{1,256}, implement diff/ddiff, rewrite all backends + bin for Schema API

- Move backends into irmin/lib/{git,json,cbor,tar,atproto,oci}/
- Rename parse→dec, serialize→enc across Schema API
- Add Irmin.SHA1, Irmin.SHA256 pre-built schema instances
- Deduplicate Schema.Make boilerplate in json, cbor, tar, oci
- Implement structural diff and 4-point ddiff (was stubs)
- Implement JSON serialize via Jsont, CBOR serialize via Cbort
- Rewrite ATProto backend: Schema.Make + Heap.BACKEND + MST bridge
- Rewrite OCI backend: SHA256 JSON schema
- Rewrite all 13 bin commands for Schema/Heap API
- Fix test infrastructure: restrict old tests, rewrite mst_proof
- Fix ocaml-scitt for dec/enc rename
- Two-phase merge API: cursor * conflict list (not Ok/Error)
- Irmin.Merge module with typed combinators + v/v_result lifters
- 11 tests pass (6 schema + 5 tar), mst_proof verified

Thomas Gazagnaire d0c9862c 615dfbc1

+8
+8
lib/ltp.mli
··· 172 172 173 173 val pp_segment : segment Fmt.t 174 174 175 + (** {1 Wire Codec} *) 176 + 177 + type packed_nibbles = { pf_high : int; pf_low : int } 178 + (** Packed 4+4 nibble byte used for control header and extension counts. *) 179 + 180 + val nibbles_codec : packed_nibbles Wire.Codec.t 181 + (** Wire codec for the 1-byte nibble pair. *) 182 + 175 183 (** {1 Encoding/Decoding} *) 176 184 177 185 type error =