CCSDS Space Data Link Security (355.0-B-2)
Upgrade to ocamlformat 0.29.0; fix csvt/sexpt streaming; reformat
- Update .ocamlformat to 0.29.0 across all 591 files
- csvt: reuse single Buffer.t for field reads (no alloc per field)
- sexpt: Obj members decoded from stream into Dict, typed Variant GADT
- Reformat all source files for 0.29.0
+14
-16
+7
-7
eio/otar_eio.mli
+7
-7
eio/otar_eio.mli
···
18
18
{2 Example}
19
19
20
20
{[
21
-
let root = Eio.Path.(fs / "state") in
22
-
let otar = Otar_eio.of_path ~kek root in
23
-
Sdls.Otar.add_master_key otar ~mkid:1 master_material;
24
-
assert (Sdls.Otar.activate_master_key otar 1);
25
-
match Sdls.Otar.receive otar cmd with
26
-
| Ok reply -> send reply
27
-
| Error e -> log_error e
21
+
let root = Eio.Path.(fs / "state") in
22
+
let otar = Otar_eio.of_path ~kek root in
23
+
Sdls.Otar.add_master_key otar ~mkid:1 master_material;
24
+
assert (Sdls.Otar.activate_master_key otar 1);
25
+
match Sdls.Otar.receive otar cmd with
26
+
| Ok reply -> send reply
27
+
| Error e -> log_error e
28
28
]} *)
29
29
30
30
val of_path : kek:bytes -> _ Eio.Path.t -> Sdls.Otar.t
+3
-5
fuzz/fuzz_sdls.ml
+3
-5
fuzz/fuzz_sdls.ml
···
214
214
if len < 1 || len > 16 then bad_test ()
215
215
else begin
216
216
let iv = Bytes.of_string iv_bytes in
217
-
if Sa.is_iv_max iv then begin
217
+
if Sa.is_iv_max iv then
218
218
(* Incrementing a max IV should wrap or return None *)
219
-
match Sa.increment_iv_safe iv with
220
-
| None -> ()
221
-
| Some _ -> ()
222
-
end
219
+
begin match Sa.increment_iv_safe iv with None -> () | Some _ -> ()
220
+
end
223
221
else begin
224
222
let iv' = Sa.increment_iv iv in
225
223
(* After increment, the new IV should be strictly greater *)
+3
-3
lib/sa.ml
+3
-3
lib/sa.ml
···
495
495
Bitv.set window (index_of_sn ~window_size old_arsn) true;
496
496
{ dyn with arsn = sn; replay_window = window }
497
497
end
498
-
else if c = 0 then begin
499
-
if is_zero dyn.arsn then begin
498
+
else if c = 0 then
499
+
begin if is_zero dyn.arsn then begin
500
500
let window = Bitv.copy dyn.replay_window in
501
501
Bitv.set window (index_of_sn ~window_size sn) true;
502
502
{ dyn with replay_window = window }
503
503
end
504
504
else dyn
505
-
end
505
+
end
506
506
else begin
507
507
Bitv.set window (index_of_sn ~window_size sn) true;
508
508
{ dyn with replay_window = window }