cvlr-mathint 0.5.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.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a9ac461cb05190d556f71501514f2bcdc4e13a5c9bcc428eec8bb78a1351aaa2"

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

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