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

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

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

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

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

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

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

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