-
Notifications
You must be signed in to change notification settings - Fork 88
OpenJun 17, 2026
Due by December 1, 2026
•Last updated Functionally equivalent to Goblint in SV-COMP 2027.
27% complete
List view
0 of 8 selected 0 issues of 8 selected
Remove duplicate
ctx-derived arguments in base analysiscleanupRefactoring, clean-upRefactoring, clean-upStatus: Open.#1266 In goblint/analyzer;Avoid eager string conversions during analysis
cleanupRefactoring, clean-upRefactoring, clean-upperformanceAnalysis time, memory usageAnalysis time, memory usageStatus: Open.- Status: Open.
Upgrade to OCaml 5.0 as default
dependenciesPull requests that update a dependency filePull requests that update a dependency filesetupDependencies, CI, releasingDependencies, CI, releasingStatus: Open (in progress).Support for inline assembler &
gotoinstructions in inline assemblerpr-dependencyDepends or builds on another PR, which should be merged beforeDepends or builds on another PR, which should be merged beforepractical-coursePractical Course at TUMPractical Course at TUMStatus: Open (in progress).Replace eager
showwith lazyprettyduring analysiscleanupRefactoring, clean-upRefactoring, clean-upperformanceAnalysis time, memory usageAnalysis time, memory usagerelationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)Status: Open (in progress).Violation witness feasibility analysis using
Witchsv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnessesStatus: Draft (not ready).Clean up library function spawning in base analysis
cleanupRefactoring, clean-upRefactoring, clean-upStatus: Open.