Roadmap

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

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

Klever