dafny-runtime 0.1.0

dafny-runtime is the runtime support library for Rust code gerated from Dafny.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

[dependencies.itertools]
version = "0.11.0"

[dependencies.num]
version = "0.4"

[dependencies.once_cell]
version = "1.18.0"

[lib]
name = "dafny_runtime"
path = "src/lib.rs"

[package]
authors = ["AWS-CryptoTools"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
description = "dafny-runtime is the runtime support library for Rust code gerated from Dafny."
edition = "2021"
keywords = ["dafny"]
license = "ISC AND (Apache-2.0 OR ISC)"
name = "dafny-runtime"
readme = "README.md"
repository = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust"
version = "0.1.0"