cvlr-fixed 0.6.1

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

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

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

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

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