slotted-egraphs/Cargo.toml at main · memoryleak47/slotted-egraphs · 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
[package]
name = "slotted-egraphs"
version = "0.0.36"
edition = "2021"
description = "E-Graphs with name binding"
license = "Apache-2.0 OR MIT"
repository = "https://github.com/memoryleak47/slotted-egraphs/"

[features]
explanations = []
checks = []
profiling = []

[package.metadata.docs.rs]
features = ["explanations"]

[dependencies]
slotted-egraphs-derive = "=0.0.36"
#slotted-egraphs-derive = { path = "slotted-egraphs-derive" }
symbol_table = { version = "0.3", features = ["global"] }
rustc-hash = "2.1.1"
vec-collections = "0.4.3"
smallvec = "1.14.0"

[dev-dependencies]
criterion = { version = "0.5", features = ["html_reports"] }
rand = "0.8.5"

[profile.bench]
debug = true

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