{
  "authors": [
    "Baris Erdem"
  ],
  "description": "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification",
  "licenses": "Apache-2.0",
  "long-description": "SPARK-proved CBOR encoder/decoder for Ada 2022. The encoder and decoder are\n100% formally verified at SPARK Level 2 (517 proof obligations, 0 unproved).\nNo heap allocation, pragma Pure, suitable for embedded and safety-critical\nsystems. Uses System.Storage_Elements for constrained runtime compatibility.\nFull RFC 8949 well-formedness validation including shortest-form checking,\nconfigurable nesting depth, string length limits, and UTF-8 validation\n(enabled by default).\n",
  "maintainers": [
    "Baris Erdem <baris@erdem.dev>"
  ],
  "maintainers-logins": [
    "b-erdem"
  ],
  "name": "cbor_ada",
  "origin": {
    "commit": "4149ef32aab364688f78fcbf85743b66b477fa3f",
    "url": "git+https://github.com/b-erdem/cbor_ada.git"
  },
  "tags": [
    "cbor",
    "rfc8949",
    "serialization",
    "spark",
    "embedded",
    "iot",
    "verified"
  ],
  "version": "0.2.0",
  "website": "https://github.com/b-erdem/cbor_ada"
}