space/test/ at main · gazagnaire.org/space

gazagnaire.org / space

SpaceOS CLI: build and boot partitioned satellite VMs

space / test /

at main 18 files

fix(space): fix all merlint issues (E001/E005/E010/E105/E205/E332/E350/E405/E600/E605)

5 days ago

fix(space): fix all merlint issues (E001/E005/E010/E105/E205/E332/E350/E405/E600/E605)

5 days ago

fix(lint): add .ocamlformat and normalize test suite names

5 days ago

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago

feat(space): service config pipeline, compiled plan, embedded ground station

3 weeks ago

test_config.mli

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago

test_dtn_bridge.ml

fix(space): fix all merlint issues (E001/E005/E010/E105/E205/E332/E350/E405/E600/E605)

5 days ago

test_dtn_bridge.mli

fix(space): fix all merlint issues (E001/E005/E010/E105/E205/E332/E350/E405/E600/E605)

5 days ago

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago

test_kernel.mli

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago

test_log_store.ml

fix(space): fix all merlint issues (E001/E005/E010/E105/E205/E332/E350/E405/E600/E605)

5 days ago

test_log_store.mli

fix(space): fix all merlint issues (E001/E005/E010/E105/E205/E332/E350/E405/E600/E605)

5 days ago

feat(space): per-partition kernel, unified service type, depends_on

3 weeks ago

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago

feat(space): wire space-net uplink through DTN engine

3 weeks ago

feat(space): harden build pipeline with tests, incremental rebuild, and clean shutdown

3 weeks ago