gazagnaire.org / ocaml-cfdp
CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
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 2fd96fed e9c20bce

+31
+31
lib/cfdp.mli
··· 406 406 val pp_pdu : pdu Fmt.t 407 407 (** Pretty-print PDUs. *) 408 408 409 + (** {1 Wire Codecs} *) 410 + 411 + type packed_finished = { 412 + pfi_condition : int; 413 + pfi_delivery : int; 414 + pfi_spare : int; 415 + pfi_file_status : int; 416 + } 417 + (** Raw finished directive wire record (1 byte). *) 418 + 419 + val finished_codec : packed_finished Wire.Codec.t 420 + (** Wire codec for the 1-byte Finished directive. *) 421 + 422 + type packed_ack = { 423 + pa_directive : int; 424 + pa_subtype : int; 425 + pa_condition : int; 426 + pa_spare : int; 427 + pa_tx_status : int; 428 + } 429 + (** Raw ACK directive wire record (2 bytes). *) 430 + 431 + val ack_codec : packed_ack Wire.Codec.t 432 + (** Wire codec for the 2-byte ACK directive. *) 433 + 434 + type packed_prompt = { pp_response : int; pp_spare : int } 435 + (** Raw Prompt directive wire record (1 byte). *) 436 + 437 + val prompt_codec : packed_prompt Wire.Codec.t 438 + (** Wire codec for the 1-byte Prompt directive. *) 439 + 409 440 (** {1 Encoding} *) 410 441 411 442 val header_len : pdu_config -> int