thunder/Cargo.toml at main · ThunderModelChecker/thunder · 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
[package]
name = "thunder"
description = "A simple model checker."
repository = "https://git.rwth-aachen.de/gntmc24/students/group1/thunder/"
version = "1.0.0"
authors = [
  "Jannik Hiller <jannik.hiller@rwth-aachen.de>",
  "Andreas Gerhards <andreas.gerhards@rwth-aachen.de>",
  "Johannes Kurth <johannes.kurth@rwth-aachen.de>",
  "Peter Lindner <peter.lindner@rwth-aachen.de>",
]
license = "MIT"
rust-version = "1.82.0"
readme = "README.md"
edition = "2021"

[dependencies]
log = "0.4.22"
env_logger = "0.11.5"
bit-vec = "0.8.0"
serde = { version = "1.0.214", features = ["derive"] }
serde_json = "1.0.132"
clap = { version = "4.5.21", features = ["derive"] }
chrono = "0.4.38"
itertools = "0.13.0"
array_tool = "1.0.3"
index_list = "0.2.15"

[dev-dependencies]
divan = "0.1.15"

[profile.release]
lto = true

[profile.profile]
inherits = "release"
debug = true


[[bench]]
name = "bench"
harness = false