Release of final version of benchmark set for Test-Comp 2024
Release of final version of benchmark set for SV-COMP 2024
Release candidate for SV-COMP 2024
Release candidate for Test-Comp 2024
Tag the benchmark set for the final execution of SV-COMP 2024 (still candidate)
Tag the benchmark set for the freezing deadline of SV-COMP 2024
Final release for SV-COMP 2023
Final release for Test-Comp 2023
Release candidate for Test-Comp 2023
Last merge commit before freeze deadline
Release candidate for SV-COMP 2023
Release version for Test-Comp 2022
Release version for SV-COMP 2022
Release candidate for Test-Comp 2022
Release candidate for SV-COMP 2022