2.0.1 protected

Dirk Beyer

@dbeyer

8d792f04 · Merge branch 'ignore-faulty-witness' into 'main' · Nov 27, 2023

Release 2.0.1 Verification Witnesses

Release of version 2.0.1 of the format for verification witnesses and their linter WitnessLint