sva-cli 0.6.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

# 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.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "79f6b7d9b6a26a21e4844a5879083a103195a88d4a1172762618b02b567c226e"
dependencies = [
 "sva-core",
 "sva-samples",
]

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

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

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

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

[[package]]
name = "sva-formula"
version = "0.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "313e693143abf86ab71229173610770a33443dfa17e4d952190491baf175ee1b"

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