2.0 protected

Dirk Beyer

@dbeyer

03a3790e · Release version 2.0 of witness linter · Nov 26, 2023

Release 2.0 Verification Witnesses

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