[package]
name = "__PROJECT__"
version.workspace = true
edition.workspace = true
publish.workspace = true
[dependencies]
pipecircuit.workspace = true
__PROJECT__-program.workspace = true
[lints]
workspace = true
[workspace]
members = ["core", "programs"]
default-members = ["."]
exclude = ["fuzz"]
resolver = "3"
[workspace.package]
version = "0.1.0"
edition = "2024"
publish = false
[workspace.dependencies]
pipecircuit = __FRAMEWORK_DEPENDENCY__
__PROJECT__-core = { path = "core" }
__PROJECT__-program = { path = "programs" }
[workspace.lints.rust]
unsafe_code = "forbid"
unnameable_types = "deny"
private_interfaces = "deny"
private_bounds = "deny"
unreachable_patterns = "deny"
unused_must_use = "deny"
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[workspace.lints.clippy]
unwrap_used = "deny"
expect_used = "deny"
panic = "deny"
todo = "deny"
unimplemented = "deny"
indexing_slicing = "deny"
arithmetic_side_effects = "deny"
float_arithmetic = "deny"
let_underscore_must_use = "deny"
wildcard_enum_match_arm = "deny"
std_instead_of_core = "deny"
std_instead_of_alloc = "deny"