2.1 49 days late (11/30/2018) 4% 48 issues (2 closed — 46 open) Related issues Bug #6629: Used CIL is outdated Bug #8088: Merge configurations properly 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 #8623: EMG does not relate registration of statically combined containers 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 Feature #8335: Similarity management Feature #8338: Add ability to specify similarity threshold Feature #8494: Process extended format of violation witnesses Feature #8568: Optimize weaving 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 #9193: Continue sorting out sync:race tests Feature #9221: Add a rule for svcomp tasks generation Feature #9236: Get rid of option duplicates within rule specifications base Feature #9243: Add more tests for models related both with EMG and requirements Feature #9244: Refactor models and rule specifications related both with EMG and requirements Feature #9271: Main generation with information about sharedness of parameters Feature #9272: Main generation without info-requests Feature #9273: New translation mode for EMG Feature #9293: Install Python3 packages locally for users Feature #9305: Provide a list of undefined and modelled functions for a fragment under verification 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 #9349: Support regular expressions for providing ideal verdicts Feature #9350: Update validation tasks that require function pointer analysis Feature #9355: Suggest more user friendly configuration for program fragments and requirements Feature #9356: Support hashing build bases to avoid copying them each time at OpenStack deployment Feature #9381: Return back program fragment sized Feature #9391: Make production marks intended for Linux 3.14 Feature #9394: Support verification of built-in Linux kernel modules Feature #9396: Allow creating tags with the same names at different branches 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