VeriFuzz_1.4.0_22112022 (!188) · Merge requests · SoSy-Lab / SV-Comp / Verifier Archives 2023 · GitLab

The 17.0 major release is coming on May 16, 2024! This version brings many exciting improvements to GitLab, but also removes some deprecated features. We are introducing three breaking change windows during which we expect breaking changes to be deployed to GitLab.com. You can read more about it on our blogpost . The third breaking change window begins 2024-05-06 09:00 UTC and ends 2024-05-08 22:00 UTC.

Raveendra Kumar requested to merge verifuzz-22112022 into main Nov 23, 2022

Once you created the merge request, please check the items below and check-mark them.

Tool runs with CoVeriTeam and delivers expected results (see FAQ)
Tool's issue in this repository is labeled with StatusWorks with CoVeriTeam
MR is approved or created by code owner
Branch to be merged is in this repository (such that we can see the CI results, and you will not run into space issues)

Edited Nov 24, 2022 by Raveendra Kumar