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

Carlo/benches #78

Closed CarloModicaPortfolio closed 1 year ago

CarloModicaPortfolio commented 1 year ago

include benches, and re-writes vamp-ir as a library

lopeetall commented 1 year ago

@CarloModicaPortfolio I made some changes to allow this to be compatible with recent changes in main. Will you pull and check that it works as expected?

lopeetall commented 1 year ago

I made some more small fixes. I think this is probably ready and will merge as soon as @CarloModicaPortfolio confirms it works as expected