-
2.0.2 protected
Release 2.0.2 Verification Witnesses Release of version 2.0.2 of the format for verification witnesses and their linter WitnessLint
-
2.0.1 protected
Release 2.0.1 Verification Witnesses Release of version 2.0.1 of the format for verification witnesses and their linter WitnessLint
-
2.0 protected
Release 2.0 Verification Witnesses Release of version 2.0 of the format for verification witnesses and their linter WitnessLint
-
-
-
-
-
-
svcomp20 protected
This tag marks the version of the witness format for the Competition on Software Verification (SV-COMP) 2020.
-
svcomp19 protected
Format for verification witnesses as used for the 8th Competition on Software Verification (SV-COMP) 2019.
-
-