Project

General

Profile

2.0

closed

11/01/2018

100%

52 issues   (52 closed — 0 open)

Issues by
Bug

13/13
Feature

39/39
Related issues
Bug #8458: Directories mismatch Actions
Bug #8613: Inaccurate specification for category tty_operations Actions
Bug #8759: LKVOG filters out some modules even when there are explicitly set by a user Actions
Bug #8967: Download files for competition does not allow to choose Unknowns Actions
Bug #9027: Fix Bridge unit tests Actions
Bug #9038: Remove population rights from admin but show "Upload jobs tree" button Actions
Bug #9087: IndexError: pop from empty list Actions
Bug #9151: Bridge starts job even if job.json or tasks.json is invalid Actions
Bug #9285: Problem with deployment Actions
Bug #9289: Native Scheduler does not properly handle errors with tasks.json Actions
Bug #9340: Use LDV functions for allocating memory Actions
Bug #9353: Production mode is broken in Klever-2.0 Actions
Bug #9354: BusyBox verification is broken in Klever-2.0 Actions
Feature #6822: Support for workqueues in EMG Actions
Feature #8056: Implement an option to disable generation of callback calls for which registration or/and deregistration is unknown Actions
Feature #8063: Propose and implement method for source analysis of non-module programs Actions
Feature #8064: Propose and support detailed EMG interface categories specifications for non-module programs Actions
Feature #8065: Propose and support process selection for non-module programs Actions
Feature #8066: Check and separate Linux specific operations in EMG translators Actions
Feature #8087: Add an ability to generate verification objects by specifying a list of functions to be defined Actions
Feature #8123: Introduce abstract verification objects generator Actions
Feature #8145: Support external builds Actions
Feature #8148: Extract build information for preset testing and validation jobs Actions
Feature #8171: Get rid of repeated unknowns during multimodule verification Actions
Feature #8173: Add support for abstract manual verification objects generation Actions
Feature #8434: Get rid of job classes Actions
Feature #8435: Always start up the same Core components Actions
Feature #8436: Switch to configuration driven results processing Actions
Feature #8569: Increase length for problem descriptions up to 20 symbols Actions
Feature #8571: Describe content of verification tasks generated by a multimodule strategy using data attributes Actions
Feature #8595: Add a guard to restrict calling isntances related to different containers at registration Actions
Feature #8596: Allow to enumerate kernel files to be analyzed with modules using directories Actions
Feature #8598: Support partially threaded environment models Actions
Feature #8621: Develop environment model specification for category tty_ldisc_ops Actions
Feature #8627: Allow forbidding checking final state Actions
Feature #8664: Refactor relating build commands Actions
Feature #8743: ETV in Bridge does not replace function call by a provided entry_point comment Actions
Feature #8937: Highlight JSON files syntax and check its correctness in the online editor Actions
Feature #9016: Show total similarity in unsafes and marks tables Actions
Feature #9088: Enable safe marks by default Actions
Feature #9089: Investigate whether disabling safe marks matter Actions
Feature #9128: Distinguish production and non-production preset jobs and marks Actions
Feature #9129: Specify production preset jobs and marks Actions
Feature #9137: Specifications for linux v4.15 Actions
Feature #9161: Load job function coverage in an intermediate representation as an extra file Actions
Feature #9162: Implement strategy based on collected coverage to verify kernel subsystems Actions
Feature #9246: Get ready rule specifications for verification of C programs Actions
Feature #9300: Implement comfortable configuration of program decomposition for a user Actions
Feature #9304: Completely remove program compilation from Klever Actions
Feature #9306: Klever-2.0 does not work in OpenStack cloud Actions
Feature #9318: Bridge does not show data attributes at verification report pages Actions
Feature #9319: Remove from user unterface options related to building programs Actions