Add cbor_ada 0.1.1 (#1866)

2026-04-13 14:35:18 +02:00
parent 05c2203817
commit 7294ded59c
1 changed files with 23 additions and 0 deletions
@@ -0,0 +1,23 @@
+name = "cbor_ada"
+description = "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification"
+version = "0.1.1"
+
+authors = ["Baris Erdem"]
+maintainers = ["Baris Erdem <baris@erdem.dev>"]
+maintainers-logins = ["b-erdem"]
+licenses = "Apache-2.0"
+website = "https://github.com/b-erdem/cbor_ada"
+tags = ["cbor", "rfc8949", "serialization", "spark", "embedded", "iot", "verified"]
+
+long-description = """
+SPARK-proved CBOR encoder/decoder for Ada 2022. The encoder and decoder are
+100% formally verified at SPARK Level 2 (517 proof obligations, 0 unproved).
+No heap allocation, pragma Pure, suitable for embedded and safety-critical
+systems. Full RFC 8949 well-formedness validation including shortest-form
+checking, configurable nesting depth, string length limits, and UTF-8
+validation (enabled by default).
+"""
+
+[origin]
+commit = "4e578607a67722c80c8f2e605e1aef52dbbc1fb5"
+url = "git+https://github.com/b-erdem/cbor_ada.git"