cvlr-mathint 0.6.0

Number library backed by Certora native integers
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

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "cvlr-asserts"
version = "0.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "420e05e13c72d1ea005a661f71f97fb340fb08d1fa7c06c0512ac24617ee814e"

[[package]]
name = "cvlr-mathint"
version = "0.6.0"
dependencies = [
 "cvlr-asserts",
 "cvlr-nondet",
]

[[package]]
name = "cvlr-nondet"
version = "0.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f3c6971e29373f196e39bd62c287ee55b8a073e6ee7a6cc3624c88700efdbc0f"
dependencies = [
 "cvlr-asserts",
]