2.0 Due in 10 days (09/28/2018) 1% 52 issues (0 closed — 52 open) Related issues Bug #8458: Directories mismatch Bug #8613: Inaccurate specification for category tty_operations Bug #8623: EMG does not relate registration of statically combined containers Bug #8759: LKVOG filters out some modules even when there are explicitly set by a user Bug #8967: Download files for competition does not allow to choose Unknowns Bug #9027: Fix Bridge unit tests Bug #9038: Remove population rights from admin but show "Upload jobs tree" button Bug #9087: IndexError: pop from empty list Bug #9093: Stop services before updates Bug #9151: Bridge starts job even if tasks.json is invalid Feature #8056: Implement an option to disable generation of callback calls for which registration or/and deregistration is unknown Feature #8063: Propose and implement method for source analysis of non-module programs Feature #8064: Propose and support detailed EMG interface categories specifications for non-module programs Feature #8065: Propose and support process selection for non-module programs Feature #8066: Check and separate Linux specific operations in EMG translators Feature #8087: Add an ability to generate verification objects by specifying a list of functions to be defined Feature #8123: Introduce abstract verification objects generator Feature #8145: Support external builds Feature #8171: Get rid of repeated unknowns during multimodule verification Feature #8173: Add support for abstract manual verification objects generation Feature #8434: Get rid of job classes Feature #8435: Always start up the same Core components Feature #8436: Switch to configuration driven results processing Feature #8569: Increase length for problem descriptions up to 20 symbols Feature #8571: Describe content of verification tasks generated by a multimodule strategy using data attributes Feature #8595: Add a guard to restrict calling isntances related to different containers at registration Feature #8596: Allow to enumerate kernel files to be analyzed with modules using directories Feature #8598: Support partially threaded environment models Feature #8621: Develop environment model specification for category tty_ldisc_ops Feature #8627: Allow forbidding checking final state Feature #8664: Refactor relating build commands Feature #8743: ETV in Bridge does not replace function call by a provided entry_point comment Feature #8889: Support verification job formats properly Feature #8937: Highlight JSON files syntax and check its correctness in the online editor Feature #9002: Switch to systemd scripts from init.d ones Feature #9016: Show total similarity in unsafes and marks tables Feature #9042: Enable automatic start ups of Klever services Feature #9088: Enable safe marks by default Feature #9128: Distinguish production and non-production preset jobs and marks Feature #9129: Specify production preset jobs and marks Feature #9137: Specifications for linux v4.15 Feature #9161: Load job function coverage in an intermediate representation as an extra file Feature #9162: Implement strategy based on collected coverage to verify kernel subsystems 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 #9246: Get ready rule specifications for verification of C programs Feature #9271: Main generation with information about sharedness of parameters Feature #9272: Main generation without info-requests Feature #9273: New translation mode for EMG
2.1 Due in about 2 months (11/30/2018) 0% 8 issues (0 closed — 8 open) Related issues 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 Feature #8494: Process extended format of violation witnesses Feature #8568: Reuse processed models 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