cvlr-fixed 0.4.2

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.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "71e7a195e607a28a430609b407e2643d6a1c237279424fd6cfb2ac655c6e0938"

[[package]]
name = "cvlr-fixed"
version = "0.4.2"
dependencies = [
 "cvlr-asserts",
 "cvlr-log",
 "cvlr-mathint",
 "cvlr-nondet",
]

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

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

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