3.0 Due in about 2 months (05/31/2019) 8% 52 issues (4 closed — 48 open) Related issues Bug #6629: Used CIL is outdated Bug #8196: Set the last provided with a line directory file instead of setting a default one at witness visualization Bug #8500: Environment model simplifications can break error traces Bug #9093: Stop services before updates Bug #9339: Incorrect progress report Bug #9345: Do not compare verification objects for unknown marks by default Bug #9366: How to commit files after editing Bug #9367: Misleading message in the error description Bug #9368: Warning during deployment to openstack cloud Bug #9369: Update production silently ignores wrong directory name Bug #9378: Wrong assume for ERR_PTR and PTR_ERR Bug #9382: Button "Reports->Clear verification files" does nothing Bug #9393: Problem with memleak visualization on absent return from void function Bug #9531: Environment models for void functions should not return any values Feature #8335: Similarity management Feature #8338: Add ability to specify similarity threshold Feature #8494: Process extended format of violation witnesses Feature #8889: Support verification job formats properly Feature #9002: Switch to systemd scripts from init.d ones Feature #9042: Enable automatic start ups of Klever services Feature #9186: Get rid of VTG plugin callbacks Feature #9221: Add a rule for svcomp tasks generation Feature #9293: Install Python3 packages locally for users Feature #9313: Introduce top level configuration options for processing verification results Feature #9347: Notify schedulers about changes in jobs and tasks Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications Feature #9355: Suggest more user friendly configuration for program fragments and requirements Feature #9356: Do not deploy the same build bases Feature #9381: Return back program fragment sized Feature #9394: Support verification of built-in Linux kernel modules Feature #9406: Ignore an another one useless warning from BenchExec (flawed measurement) Feature #9412: Support more advanced calculation of total verdicts and similarity Feature #9413: Set total verdict and total similarity more precisely on base of automatic marks assotiation Feature #9414: Reuse archive with source files between different error traces on report uploading Feature #9444: Support cross referencing Feature #9445: Support build bases provided in form of archives and placed at standard locations Feature #9449: Make lightweight verification results more lightweight Feature #9453: Generate code coverage in a new format Feature #9454: Visualize code coverage in a new format Feature #9458: Visualize a new format of error traces Feature #9459: Generate error traces in a new format Feature #9460: Support new reports with sources Feature #9461: Generate new reports with sources Feature #9499: Switch to new Clade API Feature #9500: Finish support of MySQL/MariaDB Feature #9506: Support VerifierCloud installations without authentication Feature #9507: Update VerifierCloud scheduler to the recent API Feature #9518: Change the color scheme for coverage from red to green Feature #9532: Update CPAchecker Feature #9535: Increase memory limit for Frama-C (CIL) Feature #9536: Update CIF Feature #9545: Increase automatic update period for job pages