Skip to content

Release 3.21

Latest
Latest
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 16 Feb 13:37
· 209 commits to main since this release
3.21
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Learn about vigilant mode.
312b367
  • table-generator computes scores according to SV-COMP'24 scoring scheme.
    This changes only the scoring for witness-validation results.
  • Support for property files at HTTP(S) URLs in table-generator.
    Tables can already be produced not only from local result files, but also from files that are downloaded on the fly.
    Now this also works for results with property files.
  • Fix for tool-info module witnesslint.
Assets 8