From 7294ded59c3cd5276733327454a4911f950f1b1e Mon Sep 17 00:00:00 2001 From: Baris Erdem Date: Mon, 13 Apr 2026 14:35:18 +0200 Subject: [PATCH] Add cbor_ada 0.1.1 (#1866) --- index/cb/cbor_ada/cbor_ada-0.1.1.toml | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 index/cb/cbor_ada/cbor_ada-0.1.1.toml diff --git a/index/cb/cbor_ada/cbor_ada-0.1.1.toml b/index/cb/cbor_ada/cbor_ada-0.1.1.toml new file mode 100644 index 00000000..866dc62a --- /dev/null +++ b/index/cb/cbor_ada/cbor_ada-0.1.1.toml @@ -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 "] +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"