Baris Erdem
25 lines
1004 B
TOML
25 lines
1004 B
TOML
name = "cbor_ada"
|
|
description = "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification"
|
|
version = "0.2.0"
|
|
|
|
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. Uses System.Storage_Elements for constrained runtime compatibility.
|
|
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 = "4149ef32aab364688f78fcbf85743b66b477fa3f"
|
|
url = "git+https://github.com/b-erdem/cbor_ada.git"
|