Contact Graph Routing for time-varying satellite networks
0
fork

Configure Feed

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

fix: resolve odoc documentation warnings across monorepo

Fix invalid odoc markup in 54 files: convert {\!Module} to {!Module}
in fuzz .mli files, replace inline {v ... v} with [...] code spans,
fix "paragraph should begin on its own line" warnings, escape bare
brackets, and resolve ambiguous docstring placement (warning 50).

+2 -2
+1 -1
fuzz/fuzz_cgr.mli
··· 1 - (** Fuzz tests for {\!Cgr}. *) 1 + (** Fuzz tests for {!Cgr}. *) 2 2 3 3 val suite : string * Alcobar.test_case list 4 4 (** Test suite. *)
+1 -1
gen/cgr_gen.mli
··· 6 6 (** Synthetic contact plan generation for testing and simulation. *) 7 7 8 8 val nodes : int -> Cgr.Node.t list 9 - (** [nodes n] creates [n] nodes named "N0", "N1", ..., "N{n-1}". *) 9 + (** [nodes n] creates [n] nodes named "N0", "N1", ..., "N[n-1]". *) 10 10 11 11 val ring : 12 12 nodes:Cgr.Node.t list -> duration:float -> rate:float -> Cgr.Contact.t list