sva-cli 0.5.0

The command-line front end for SVA
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

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

[[package]]
name = "hound"
version = "3.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "62adaabb884c94955b19907d60019f4e145d091c75345379e70d1ee696f7854f"

[[package]]
name = "sva-analysis"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "68dc4054f1fd198589a3e67a686956d2f7c415de12957951a4c5cbb49e192037"
dependencies = [
 "sva-core",
 "sva-samples",
]

[[package]]
name = "sva-ast"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a4078056ec0ef670ecab3129e8ecc5c258e956f643ea2b515f684f11aed62c03"
dependencies = [
 "sva-fingerprint",
]

[[package]]
name = "sva-cli"
version = "0.5.0"
dependencies = [
 "hound",
 "sva-analysis",
 "sva-ast",
 "sva-core",
 "sva-engine",
 "sva-formula",
]

[[package]]
name = "sva-core"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "20eaa694033f9dcabf602cbf05850c3ef26ab5e899a9daa8293c953835646169"
dependencies = [
 "sva-ast",
 "sva-engine",
 "sva-formula",
]

[[package]]
name = "sva-engine"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "76b9a40282f9c62e5bf0d072c2b6f8971931cd5330bbde54ed1430c15f7254a3"
dependencies = [
 "sva-ast",
 "sva-fingerprint",
 "sva-formula",
 "sva-samples",
]

[[package]]
name = "sva-fingerprint"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a8e772fd250bf7dda16832d95d441fd906a937dd1470c9e9d0dd849ace3925a6"

[[package]]
name = "sva-formula"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1e871f6abbaf6900abad2508733fef4d5faf7c08a2dd9bb7c69e48b73829bbba"
dependencies = [
 "sva-fingerprint",
]

[[package]]
name = "sva-samples"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7e41d69aec119a31477ac706984a5d002fba369a7206350af6197168635e2fd6"
dependencies = [
 "sva-fingerprint",
 "sva-formula",
]