·
1 commit
to main
since this release
3.27
PhilippWendler
Philipp Wendler
This tag was signed with the committer’s verified signature.
PhilippWendler
Philipp Wendler
- Support for version 2.1 of the task-definition format.
- Updated tool-info modules for SV-COMP'25 and Test-Comp'25.