Contact Graph Routing for time-varying satellite networks
chore: accumulated lint fixes, test stubs, and interface files
- Fix E325 to skip type variables when checking get/find naming
- Add test.ml runners for bpsec, bytesrw-eio, cfdp, claude-skills
- Add .mli files for btree lib modules and test modules
- Add .mli files for cbort, cgr, bundle, bpsec, bytesrw-eio
- Add claudeio test module stubs and .mli files
- Add claudeio test/proto/dune for outgoing tests
- Fix claudeio examples Test_json_utils -> Json_utils references
- Add linkedin URL parsing module and tests
- Improve linkedin profile scraping and cookie handling
- Fix claude-skills main.ml lint issues
- Fix various .mli doc comment formatting
+2
-1
+1
-1
gen/cgr_gen.mli
+1
-1
gen/cgr_gen.mli
···
50
50
- [shells] orbital planes, each with [sat_per_shell] satellites
51
51
- Intra-plane links (ring within each shell)
52
52
- Inter-plane links (between adjacent shells)
53
-
- Ground station links with periodic visibility windows *)
53
+
- Ground station links with periodic visibility windows. *)
+1
test/test_cgr_gen.mli
+1
test/test_cgr_gen.mli
···
1
+
val suite : string * unit Alcotest.test_case list