Milestones

List view

• SV-COMP 2027

  Tool submission Oct 20, 2026 (AoE, all fm-tools CI green). Final resubmission Nov 17. https://sv-comp.sosy-lab.org/2027/

  Due by November 17, 2026

  •17/39 issues closed
  43% complete22 open17 closed

• Release 1.0

  First finalized version of the engine with the feature set used at SV-Comp 2024. This includes documentation and example usages.

  Overdue by 2 year(s)

  •

  Due by February 29, 2024

  •3/3 issues closed
  100% complete0 open3 closed