Skip to content
This repository has been archived by the owner on Oct 14, 2022. It is now read-only.

Releases: sosy-lab/sv-witnesses

svcomp21

03 Dec 11:27
@MartinSpiessl MartinSpiessl
svcomp21
3d58d20
Compare
Choose a tag to compare
svcomp21 Latest
Latest

Witness format as used in SV-COMP 2021.

This year we also introduced a linter that checks syntactic compliance with the format and which is part of this repository/release

Assets 2

svcomp18

05 Dec 10:00
@mdangl mdangl
svcomp18
2d0b212
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
svcomp18

Witness format as used in SV-COMP 2018.

Assets 2