Baris Erdem 0c186dbbb1 ccsds_ada 0.1.0 (#1875) ...

SPARK-proved CCSDS protocol suite for Ada 2022. Covers Space Packet,
Time Code Formats (CUC / CDS), AOS Transfer Frame with FECF,
Encapsulation Packet, CFDP PDU with optional CRC, SLE identifiers,
and the shared CRC-16-CCITT-FALSE primitive. 440 SPARK Level 2 proof
obligations, all discharged, no pragma Assume, no justified checks.

2026-04-25 12:35:16 +02:00

..

ccsds_ada-0.1.0.toml

ccsds_ada 0.1.0 (#1875)

2026-04-25 12:35:16 +02:00