3.0 Due in 29 days (08/16/2019) 71% 76 issues (25 closed — 51 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 #8628: Properly restrict job name lenght Actions Bug #8962: Bridge says that components finish in statistics while they are in progress Actions Bug #8977: Can not specify zero rows for tables Actions Bug #9081: Uploading unsafe marks fail with unknown error 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 #8757: Keep job titles in history Actions Feature #8888: Allow to edit last job decision configuration Actions Feature #8889: Support verification job formats properly Actions Feature #8989: Allow to populate just jobs/marks/tags Actions Feature #9034: Allow to clear comparison cache Actions Feature #9037: Do not show all (sub)components for unmatched results in comparison Actions Feature #9044: Do not include attributes without true "is_compare" when downloading marks in preset format Actions Feature #9052: Allow mark status just for verdict "bug" Actions Feature #9053: Remove redundant statuses for preset marks Actions Feature #9186: Get rid of VTG plugin callbacks Actions Feature #9221: Add a rule for svcomp tasks generation 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 #9381: Return back program fragment sizes 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 #9609: Avoid recursion in simple tests Actions Feature #9610: Show actual Frama-C (CIL) failures Actions Feature #9648: Update CPAchecker one more time Actions Feature #9691: Integrate Juliet test suite as one more validation job Actions Feature #9692: Investigate whether Juliet license permits to include test cases into Klever preset validation job Actions Feature #9693: Develop a new algorithm for generating fragments for Juilet test cases Actions Feature #9694: Initiate discussion on results for Juilet test suite with its developers Actions Feature #9698: Move to a new typedef interface collection provided by Clade Actions