rust-deductive-verifier/Cargo.toml at main · Marsman1996/rust-deductive-verifier · GitHub

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
[package]
name = "rust-dv"
version = "0.0.0"
edition = "2021"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[[bin]]
name = "rust-dv"
path = "src/main.rs"

[[bin]]
name = "dummy-rustc"
path = "src/dummy_rustc.rs"

[[bin]]
name = "pre_commit"
path = "src/pre_commit.rs"


[lib]
name = "rust_dv"
path = "src/lib.rs"

[dependencies]
clap = {version = "4.5.35", features = ["derive"]}
cargo_metadata = {version = "*" }
memoize = { version = "*" }
colored ={ version = "*" }
git2 = { version = "*" }
# cargo_toml = { version = "*" }
# relative-path = { version = "*" }
project-root = { version = "*" }
# glob ={ version = "*" }
anyhow = { version = "*" }
regex = { version = "*" }
touch = { version = "*" }
toml = { version = "*" }
serde = { version = "*", features = ["derive"] }
serde_json = { version = "*" }
askama = { version = "0.13.1", features = ["derive"] }
indexmap = { version = "*", features = ["serde"] }
dotenv = { version = "*" }
log = { version = "*" }
log4rs = { version = "*", features = ["gzip"] }
walkdir = { version = "*" }
rayon = { version = "*" }
blake3 = { version = "*" }
hex = { version = "*" }
toml_edit = { version = "*" }

syn = { version = "2", features = ["full", "extra-traits"] }
quote = { version = "*" }
proc-macro2 = { version = "*" }

[dev-dependencies]
tempfile = { version = "*" }