Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10469 Klever Feature New Urgent Required to implement a specification for input_ff_create_memless Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10468 Klever Bug Closed Urgent Improve environment models for runtime power management callbacks Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10454 Klever Feature New High Implement a conditional choice of functions for an environment model Ilja Zakharov Ilja Zakharov Actions
10453 Klever Feature Closed Urgent Use device identifiers from the driver tables Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10426 Klever Bug Closed Immediate Bridge prints tags as a plain list instead of a tree Ilja Zakharov Vladimir Gratinskiy Klever - 3.0 Actions
10318 Klever Feature Closed Urgent Support BusyBox in Klever 3.0 Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10317 C Instrumentation Framework Bug Closed Urgent Avoid pointers to GCC internal structure __va_list_tag in function definition parameters Ilja Zakharov Evgeny Novikov Actions
10316 Klever Feature New High Reimplement configuration of postgressql at local deployment Ilja Zakharov Actions
10298 Deductive Verification Tools for Linux Kernel Bug Closed Normal CIL fails with 'implicit prototype cannot have variadic arguments' Ilja Zakharov Mikhail Mandrykin Actions
10163 Klever Bug Rejected Immediate Bridge does not show total coverage Ilja Zakharov Klever - 3.0 Actions
10160 Klever Bug Rejected Immediate Bridge does not apply some unknown marks Ilja Zakharov Klever - 3.0 Actions
10159 Klever Bug Closed Immediate Unclear usage of colours in the reports comparison table Ilja Zakharov Vladimir Gratinskiy Klever - 3.0 Actions
10156 Klever Feature Closed Urgent Introduce environment model test sets for Linux 4.15, 4.17 versions Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10153 Klever Feature Rejected Urgent There is no specification set attribute Ilja Zakharov Klever - 3.0 Actions
10118 C Instrumentation Framework Bug Closed Urgent CIF generates invalid source files on some Linux 3.14 modules Ilja Zakharov Evgeny Novikov Actions
10117 Klever Bug Closed Urgent Fix the most crucial EMG-related fails on Linux 3.14 Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9960 C Instrumentation Framework Bug Closed High Support type attribute transparent_union Ilja Zakharov Evgeny Novikov Actions
9959 Deductive Verification Tools for Linux Kernel Bug New Normal Frama-C (CIL) сannot assign to non-modifiable lval Ilja Zakharov Actions
9894 Deductive Verification Tools for Linux Kernel Bug Closed Normal Frama-C (CIL) cannot represent an integer Ilja Zakharov Mikhail Mandrykin Actions
9893 Deductive Verification Tools for Linux Kernel Bug Rejected Normal Frama-C (CIL) cannot do a cast Ilja Zakharov Actions
9873 Klever Feature Closed Urgent Move creation of initial abstract tasks to PFG Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9847 Klever Bug Closed Urgent Klever incorrectly shows coverage in libraries at visualization of error traces Ilja Zakharov Vladimir Gratinskiy Klever - 3.0 Actions
9842 Klever Bug Rejected High Prevent copying media content at open-stack deployment Ilja Zakharov Actions
9838 Klever Bug Rejected High The Klever deployments script incorrectly installs build bases Ilja Zakharov Actions
9837 Klever Feature Rejected Urgent Allow at least for development purposes using an existing user instead of klever Ilja Zakharov Actions
(1-25/319) Per page: 25, 50, 100

Also available in: Atom CSV PDF