[package]
name = "kernel"
version = "0.1.0"
edition = "2021"

[workspace]
members = ["crates/*"]

[profile.dev]
panic = "abort"

[profile.release]
panic = "abort"

[dependencies]
contracts = "0.6.3"
ir = { path = "crates/ir" }