3.0 Due in 28 days (06/21/2019) 36% 67 issues (24 closed — 43 open) Related issues Bug #6629: Used CIL is outdated Actions Bug #8196: Set the last provided with a line directory file instead of setting a default one at witness visualization Actions Bug #8500: Environment model simplifications can break error traces Actions Bug #9093: Stop services before updates Actions Bug #9339: Incorrect progress report Actions Bug #9345: Do not compare verification objects for unknown marks by default Actions Bug #9366: How to commit files after editing Actions Bug #9367: Misleading message in the error description Actions Bug #9368: Warning during deployment to openstack cloud Actions Bug #9369: Update production silently ignores wrong directory name Actions Bug #9378: Wrong assume for ERR_PTR and PTR_ERR Actions Bug #9382: Button "Reports->Clear verification files" does nothing Actions Bug #9393: Problem with memleak visualization on absent return from void function Actions Bug #9531: Environment models for void functions should not return any values Actions Bug #9581: Fix population of preset jobs in production mode Actions Bug #9589: Fix obtaining compiler options for building models Actions Feature #6712: Specify Django version Actions Feature #8335: Similarity management Actions Feature #8338: Add ability to specify similarity threshold Actions Feature #8494: Process extended format of violation witnesses Actions Feature #8889: Support verification job formats properly Actions Feature #9002: Switch to systemd scripts from init.d ones Actions Feature #9042: Enable automatic start ups of Klever services Actions Feature #9186: Get rid of VTG plugin callbacks Actions Feature #9221: Add a rule for svcomp tasks generation Actions Feature #9293: Install Python3 packages locally for users Actions Feature #9313: Introduce top level configuration options for processing verification results Actions Feature #9347: Notify schedulers about changes in jobs and tasks Actions Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications Actions Feature #9355: Suggest more user friendly configuration for program fragments and requirements Actions Feature #9356: Do not deploy the same build bases Actions Feature #9381: Return back program fragment sizes Actions Feature #9394: Support verification of built-in Linux kernel modules Actions Feature #9406: Ignore an another one useless warning from BenchExec (flawed measurement) Actions Feature #9412: Support more advanced calculation of total verdicts and similarity Actions Feature #9413: Set total verdict and total similarity more precisely on base of automatic marks assotiation Actions Feature #9414: Reuse archive with source files between different error traces on report uploading Actions Feature #9444: Support cross referencing Actions Feature #9445: Support build bases provided in form of archives and placed at standard locations Actions Feature #9449: Make lightweight verification results more lightweight Actions Feature #9453: Generate code coverage in a new format Actions Feature #9454: Visualize code coverage in a new format Actions Feature #9458: Visualize a new format of error traces Actions Feature #9459: Generate error traces in a new format Actions Feature #9460: Support new reports with sources Actions Feature #9461: Generate new reports with sources Actions Feature #9499: Switch to new Clade API Actions Feature #9500: Finish support of MySQL/MariaDB Actions Feature #9506: Support VerifierCloud installations without authentication Actions Feature #9507: Update VerifierCloud scheduler to the recent API Actions Feature #9518: Change the color scheme for coverage from red to green Actions Feature #9532: Update CPAchecker Actions Feature #9535: Increase memory limit for Frama-C (CIL) Actions Feature #9536: Update CIF Actions Feature #9545: Increase automatic update period for job pages Actions Feature #9558: Install entities properly Actions Feature #9567: Update BenchExec Actions Feature #9573: Include deployment of build base intended for preset verification job Linux 3.14 Actions Feature #9578: Add a new rule for BusyBox to check file descriptors correct usage Actions Feature #9579: Allow describing scenarios for environment models manually Actions Feature #9580: Develop detailed EMG specifications for Serial drivers Actions Feature #9583: Update CPAchecker Actions Feature #9599: Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7 Actions Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests Actions Feature #9609: Avoid recursion in simple tests Actions Feature #9610: Show actual Frama-C (CIL) failures Actions Feature #9648: Update CPAchecker one more time Actions