Tags give the ability to mark specific points in history as being important
-
svcomp24-rc.2
7558396a · ·Tag the benchmark set for the final execution of SV-COMP 2024 (still candidate)
Verification tasks as used for Test-Comp 2025
Final benchmark set for SV-COMP 2025
Final benchmark set for SV-COMP 2025
Release candidate for Test-Comp 2025 (version before final execution)
Version of benchmark sets for SV-COMP 2025 before final execution
Version of benchmark sets for SV-COMP 2025 after the freeze milestone
Release of final version of benchmark set for Test-Comp 2024
Release of final version of benchmark set for Test-Comp 2024
Release of final version of benchmark set for SV-COMP 2024
Release of final version of benchmark set for SV-COMP 2024
Release candidate for SV-COMP 2024
Release candidate for SV-COMP 2024
Release candidate for Test-Comp 2024
Release candidate for SV-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
Release candidate for Test-Comp 2023
Last merge commit before freeze deadline