[dependencies.bitvec]
version = "1.0.1"
[dependencies.petgraph]
optional = true
version = "0.8.2"
[dependencies.serde]
features = ["derive"]
optional = true
version = "1.0.219"
[dependencies.serde_json]
optional = true
version = "1.0.141"
[dependencies.thiserror]
version = "2.0.16"
[[example]]
name = "connections"
path = "examples/connections.rs"
[[example]]
name = "dont_touch"
path = "examples/dont_touch.rs"
[[example]]
name = "lut"
path = "examples/lut.rs"
[[example]]
name = "simple"
path = "examples/simple.rs"
[[example]]
name = "variants"
path = "examples/variants.rs"
[features]
default = []
graph = ["petgraph"]
serde = ["dep:serde", "serde_json", "bitvec/serde"]
[lib]
name = "safety_net"
path = "src/lib.rs"
[package]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["data-structures", "compilers", "science"]
description = "A reference-counted netlist library for EDA tools"
documentation = "https://matth2k.github.io/safety-net/"
edition = "2024"
homepage = "https://matth2k.github.io/safety-net/"
include = ["Cargo.toml", "LICENSE-MIT", "LICENSE-APACHE", "README.md", "doc/**", "src/**/*.rs", "tests/**/*.rs", "examples/**/*.rs"]
keywords = ["data-structures", "eda", "netlist", "circuits", "hardware"]
license = "MIT OR Apache-2.0"
name = "safety-net"
readme = "README.md"
repository = "https://github.com/matth2k/safety-net"
version = "0.3.0"
[[test]]
name = "analysis"
path = "tests/analysis.rs"
[[test]]
name = "api"
path = "tests/api.rs"
[[test]]
name = "edits"
path = "tests/edits.rs"
[[test]]
name = "flipflop"
path = "tests/flipflop.rs"
[[test]]
name = "identifiers"
path = "tests/identifiers.rs"
[[test]]
name = "matches"
path = "tests/matches.rs"
[[test]]
name = "params"
path = "tests/params.rs"
[[test]]
name = "verify"
path = "tests/verify.rs"
[[test]]
name = "verilog"
path = "tests/verilog.rs"