-
Notifications
You must be signed in to change notification settings - Fork 3
/
Cargo.toml
69 lines (61 loc) · 2.02 KB
/
Cargo.toml
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
[package]
name = "monster-rs"
description = "Monster is a symbolic execution engine for 64-bit RISC-U code"
authors = ["Alexander Lackner <[email protected]>", "Alexander Linz <[email protected]>", "Christian Mösl <[email protected]>", "Fabian Nedoluha <[email protected]>", "Michael Starzinger <[email protected]>"]
documentation = "https://docs.rs/monster"
repository = "https://github.com/cksystemsgroup/monster"
homepage = "https://cksystemsgroup.github.io/monster"
license = "MIT"
categories = ["command-line-utilities", "development-tools::testing", "science", "simulation"]
keywords = ["monster", "riscv", "riscu", "symbolic-execution", "smt"]
edition = "2018"
version ="0.4.1"
[features]
default = []
z3 = ["z3-solver", "z3-sys"]
boolector = ["boolector-solver", "boolector-sys"]
true-rng = []
[lib]
name = "monster"
path = "src/lib.rs"
[[bin]]
name = "monster"
path = "src/main.rs"
[[bench]]
name = "engine"
harness = false
[[bench]]
name = "path_exploration"
harness = false
required-features = ["z3"]
[dependencies]
byteorder = "~1.4"
clap = { version = "~3.2", features = ["cargo"] }
strum = { version = "~0.24", features = ["derive"] }
riscu = "~0.5"
petgraph = "~0.6"
rand = "~0.8"
modinverse = "~0.1"
log = "~0.4"
env_logger = "~0.9"
bytesize = "~1.1"
itertools = "~0.10"
anyhow = "~1.0"
thiserror = "~1.0"
divisors = "~0.2"
const_format = "~0.2"
lazy_static = "~1.4"
boolector-solver = { package = "boolector", version = "~0.4", features = ["vendor-lgl"], optional = true }
boolector-sys = { version = "~0", features = ["vendor-lgl"], optional = true }
z3-solver = { package = "z3", version = "~0.11", features = ["static-link-z3"], optional = true }
z3-sys = { version = "~0", features = ["static-link-z3"], optional = true }
libc = "~0"
[dev-dependencies]
utils = { path = "utils" }
rayon = "~1.5"
tempfile = "~3.3"
criterion = { version = "~0.3", features = ["html_reports", "cargo_bench_support", "csv_output"] }
[dev-dependencies.cargo-husky]
version = "1"
default-features = false
features = ["user-hooks"]