analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

SV-COMP 2025 development

Open sim642 opened this issue 1 year ago • 0 comments

This branch contains development and integration for SV-COMP 2025. This branch is used for creating verifier archives for preruns.

PRs

It includes some not-yet merged PRs:

  1. #1593
  2. #1519
  3. #1596

TODO

  • [ ] Merge master in (regularly).

sim642 avatar Oct 17 '24 12:10 sim642