search

anoma / vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
https://anoma.github.io/VampIR-Book/
Apache License 2.0
156 stars 44 forks source link

Fix benchmarks #125

Open paulcadman opened 1 year ago

paulcadman commented 1 year ago

This PR fixes the benchmark code so it now compiles.

cargo bench is now run as part of the GitHub build so we know that it continues to work in future. The product of the benchmark run, the timings file, is published as an artefact of the build.