source

coap_spark

0.9.0

CoAP implementation formally verified with SPARK/Ada

GitHub Community CIResults All crate versions Download JSON

0.9.0

CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) as defined in RFC 7252, developed in the SPARK language, the formally verified subset of the Ada programming language.

This version implements the client side of the protocol with some limitations:

  • It does not support block-wise transfers.
  • It does not support retransmission of messages.
  • It only supports NoSec and PreSharedKey security modes.

See LICENSING for licensing information.

Authors
Manuel Gomez
Maintainers
Manuel Gomez <mgrojo@gmail.com>
Maintainer profiles
@mgrojo
Licenses
Apache-2.0 OR GPL-2.0-or-later
Website
https://github.com/mgrojo/coap_spark
Repository
github.com/mgrojo/coap_spark
Source revision
81401167ac44
Tags
spark, coap, iot, protocol
Manifest
index/co/coap_spark/coap_spark-0.9.0.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "Ada_Version": "Ada2022",
    "Style_Checks": [
      "-gnaty3",
      "-gnatya",
      "-gnatyA",
      "-gnatyB",
      "-gnatyb",
      "-gnatyC",
      "-gnatye",
      "-gnatyf",
      "-gnatyh",
      "-gnatyi",
      "-gnatyI",
      "-gnatyk",
      "-gnatyl",
      "-gnatyM100",
      "-gnatyn",
      "-gnatyO",
      "-gnatyp",
      "-gnatyr",
      "-gnatyS",
      "-gnatyt",
      "-gnatyx"
    ]
  }
}
Configuration
{
  "values": {
    "wolfssl": {
      "STATIC_PSK": true
    }
  }
}