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

Feature request: quiet mode #92

Closed lukaszcz closed 1 year ago

lukaszcz commented 1 year ago

It would be nice if VampIR could optionally avoid printing anything except errors. E.g. to have an option --quiet or -q which disables the default messages. When running VampIR automatically in a loop for multiple tests you get too many spurious messages.