List view
- No due date•1/1 issues closed
Functionally equivalent to Goblint in SV-COMP 2026.
Due by December 1, 2025•24/24 issues closed- Due by August 31, 2025•130/130 issues closed
https://sv-comp.sosy-lab.org/2026/
Due by November 22, 2025•51/51 issues closedFunctionally equivalent to Goblint in SV-COMP 2025.
No due date•22/22 issues closedhttps://sv-comp.sosy-lab.org/2025/
Due by November 22, 2024•59/59 issues closed- Due by August 1, 2024•162/162 issues closed
Functionally equivalent to Goblint in SV-COMP 2024.
Due by December 1, 2023•25/25 issues closedhttps://sv-comp.sosy-lab.org/2024/
Due by November 23, 2023•47/47 issues closed- Due by September 1, 2023•193/193 issues closed
Functionally equivalent to Goblint in SV-COMP 2023.
Due by November 25, 2022•42/42 issues closedhttps://sv-comp.sosy-lab.org/2023/
Due by November 22, 2022•44/44 issues closedGoblint 2.0.0 aka lean
Due by July 31, 2022•272/272 issues closedGoblint 1.1.0 aka fat
Due by November 26, 2021•5/5 issues closed- Due by November 19, 2021•20/20 issues closed
https://sv-comp.sosy-lab.org/2022/
Due by November 22, 2021•9/9 issues closedhttps://sv-comp.sosy-lab.org/2021/
Due by December 2, 2020•29/29 issues closedIt's time for a proper release...
No due date•7/7 issues closed