Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8119 Klever Feature New Urgent Develop preset tags 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
10490 Klever Bug New Urgent Fix messages and their translation Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10465 Klever Feature New Urgent Update Klever tutorial Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10043 Klever Feature New Urgent Update CPAchecker 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
9691 Klever Feature New High Integrate Juliet test suite as one more validation job Evgeny Novikov Evgeny Novikov Actions
9694 Klever Feature New High Initiate discussion on results for Juilet test suite with its developers Evgeny Novikov Evgeny Novikov Actions
6486 C Instrumentation Framework Feature Open High Get rid of auxiliary functions if possible Evgeny Novikov Evgeny Novikov Actions
9093 Klever Bug New High Stop services before updates Evgeny Novikov Evgeny Novikov Actions
9599 Klever Feature New High Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7 Evgeny Novikov Evgeny Novikov Actions
9604 Klever Feature Open High Develop new test suite for CPAchecker on base of Klever integration tests Evgeny Novikov Evgeny Novikov Actions
9577 C Instrumentation Framework Feature New High Disable C++ support Evgeny Novikov Evgeny Novikov Actions
8375 C Instrumentation Framework Bug New High Excessive const qualifier for local array of function pointers Evgeny Novikov Evgeny Novikov Actions
2726 C Instrumentation Framework Bug Open High Aspectator doesn't traverse through expressions of function parameters Evgeny Novikov Evgeny Novikov Actions
1138 C Instrumentation Framework Bug Open High C back-end prints exceeding information for unnamed structures and unions Evgeny Novikov Evgeny Novikov Actions
4398 C Instrumentation Framework Bug Open High Aspectator and C back-end should support GCC vector type Evgeny Novikov Evgeny Novikov Actions
9244 Klever Feature New High Refactor models and rule specifications related both with EMG and requirements Evgeny Novikov Evgeny Novikov Actions
9243 Klever Feature New High Add more tests for models related both with EMG and requirements Evgeny Novikov Evgeny Novikov Actions
877 C Instrumentation Framework Feature New High Try to use gcc tests for C backend Evgeny Novikov Evgeny Novikov Actions
6829 C Instrumentation Framework Feature Open High Make CIF to look like GCC Evgeny Novikov Evgeny Novikov Actions
9158 Klever Feature New High Wait for apt unlocking Evgeny Novikov Evgeny Novikov Actions
(1-25/185) Per page: 25, 50, 100

Also available in: Atom CSV PDF