Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10554 Klever Feature New Urgent Visualize declarations and advanced notes Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10551 Klever Feature New Urgent Develop preset tags for CPALockator Evgeny Novikov Pavel Andrianov Klever - 3.0 Actions
10550 Klever Feature New Urgent Develop preset tags for CPAchecker BAM Evgeny Novikov Pavel Andrianov Klever - 3.0 Actions
10549 Klever Feature New Urgent Develop preset tags for CPAchecker SMG Evgeny Novikov Anton Vasilyev Klever - 3.0 Actions
10547 C Instrumentation Framework Bug Closed Urgent Skip artificial function call expressions for "__attribute__((__fallthrough__));" Evgeny Novikov Evgeny Novikov Actions
10546 Klever Feature Closed Urgent Cause Weaver to output preprocessed source files and models Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10531 Klever Feature New Urgent Report attributes and their flags according to the new scheme Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10530 Klever Feature New Urgent Improve representation of leaf reports and enhance capabilities for providing their attributes Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10526 Klever Feature Rejected Urgent Do not specify "associate" for unknown reports of VRP Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10525 Klever Bug Closed Immediate Consider program fragment and requiremens specification as attribute for comparison Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10498 Klever Feature Closed Urgent Develop model for v4l2_i2c_subdev_init() Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10496 Klever Feature Closed Urgent Speed up loading of source files and related data Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10493 Klever Feature Resolved Urgent Clean up directories when deploying new instances of Bridge Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10491 Klever Feature Closed Urgent Avoid numerous warnings about missed sources and code coverage Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10490 Klever Bug New Urgent Fix messages and their translation Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10489 Klever Feature Closed Urgent Fix order of child jobs at the job page Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10488 Klever Feature Closed Urgent Develop models for devm memory allocating functions Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10486 Klever Feature New High Develop environment model specification for inode_operations Evgeny Novikov Evgeny Novikov Actions
10485 Klever Feature New High Improve and develop environment model specifications for file_system_type and super_operations Evgeny Novikov Evgeny Novikov Actions
10484 Klever Feature New High Improve and develop filesystem environment model specifications Evgeny Novikov Evgeny Novikov Actions
10478 C Instrumentation Framework Bug New High Respect intermixes of declarations and statements Evgeny Novikov Evgeny Novikov Actions
10477 Klever Bug Closed Urgent Do not fail with errors "Archive ... was not attached" Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10476 Klever Bug Closed Immediate Distinguish models by their absolute paths rather than their contents Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10472 Klever Feature Closed Urgent Support lightweight configuration of verification tools for target architecture Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10471 Deductive Verification Tools for Linux Kernel Feature New Normal Support ARM architecture Evgeny Novikov Mikhail Mandrykin Actions
(1-25/1299) Per page: 25, 50, 100

Also available in: Atom CSV PDF