cvlr-fixed 0.5.0

Fixed point numbers over 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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

# 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-fixed"
version = "0.5.0"
dependencies = [
 "cvlr-asserts",
 "cvlr-log",
 "cvlr-mathint",
 "cvlr-nondet",
]

[[package]]
name = "cvlr-log"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9172bf1bd9fb6838c8bc144ce7e92da49613820601aef07ec569b6214b97b402"
dependencies = [
 "cvlr-mathint",
]

[[package]]
name = "cvlr-mathint"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c102cea92a07b9a8fa998d60fa183e19d57ff377c359ef27043b65022d5e6ff0"
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",
]