mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-01-08 22:58:20 -05:00
ad858a1d7d
Run benchmarks in PRs, fail and warn on the PR if we got more than 20% slower, add benchmark results to https://docs.powdr.org/dev/bench/
24 lines
490 B
TOML
24 lines
490 B
TOML
[package]
|
|
name = "powdr-airgen"
|
|
description = "powdr AIR generator for asm machines"
|
|
version = { workspace = true }
|
|
edition = { workspace = true }
|
|
license = { workspace = true }
|
|
homepage = { workspace = true }
|
|
repository = { workspace = true }
|
|
|
|
[dependencies]
|
|
powdr-ast.workspace = true
|
|
powdr-number.workspace = true
|
|
powdr-analysis.workspace = true
|
|
|
|
log = "0.4.17"
|
|
|
|
itertools = "0.13"
|
|
|
|
[lints]
|
|
workspace = true
|
|
|
|
[lib]
|
|
bench = false # See https://github.com/bheisler/criterion.rs/issues/458
|