Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9461 Klever Feature New Urgent Generate new reports with sources Evgeny Novikov Evgeny Novikov Klever - 3.0
9460 Klever Feature New Urgent Support new reports with sources Evgeny Novikov Vladimir Gratinskiy Klever - 3.0
9459 Klever Feature New Urgent Generate error traces in a new format Evgeny Novikov Evgeny Novikov Klever - 3.0
9458 Klever Feature New Urgent Visualize a new format of error traces Evgeny Novikov Vladimir Gratinskiy Klever - 3.0
9454 Klever Feature New Urgent Visualize code coverage in a new format Evgeny Novikov Vladimir Gratinskiy Klever - 3.0
9453 Klever Feature New Urgent Generate code coverage in a new format Evgeny Novikov Evgeny Novikov Klever - 3.0
9449 Klever Feature New Urgent Make lightweight verification results more lightweight Evgeny Novikov Vladimir Gratinskiy Klever - 3.0
9445 Klever Feature Closed Urgent Support build bases provided in form of archives and placed at standard locations Evgeny Novikov Evgeny Novikov Klever - 3.0
9444 Klever Feature New Urgent Support cross referencing Evgeny Novikov Vladimir Gratinskiy Klever - 3.0
9443 C Instrumentation Framework Feature New Urgent Allow obtaining data necessary for cross referencing Evgeny Novikov Evgeny Novikov
9433 Klever Bug New High Incorrect error processing and misleading error message when there is not proper Java for CPAchecker Evgeny Novikov Ilja Zakharov
9394 Klever Feature New Urgent Support verification of built-in Linux kernel modules Evgeny Novikov Ilja Zakharov Klever - 3.0
9391 Klever Feature Closed Urgent Make production marks intended for Linux 3.14 Evgeny Novikov Evgeny Novikov
9381 Klever Feature New Urgent Return back program fragment sized Evgeny Novikov Ilja Zakharov Klever - 3.0
9355 Klever Feature New Urgent Suggest more user friendly configuration for program fragments and requirements Evgeny Novikov Evgeny Novikov Klever - 3.0
9349 Klever Feature New High Support regular expressions for providing ideal verdicts Evgeny Novikov
9348 Klever Feature New Urgent Request for changes in jobs and tasks just after receiving corresponding notifications Evgeny Novikov Ilja Zakharov Klever - 3.0
9347 Klever Feature New Urgent Notify schedulers about changes in jobs and tasks Evgeny Novikov Vladimir Gratinskiy Klever - 3.0
9346 C Instrumentation Framework Bug New Urgent Remove "-include" options after second stage Evgeny Novikov Evgeny Novikov
9345 Klever Bug New Urgent Do not compare verification objects for unknown marks by default Evgeny Novikov Vladimir Gratinskiy Klever - 3.0
9340 Klever Bug Closed Urgent Use LDV functions for allocating memory Evgeny Novikov Ilja Zakharov Klever - 2.0
9339 Klever Bug New Urgent Incorrect progress report Evgeny Novikov Ilja Zakharov Klever - 3.0
9313 Klever Feature New Urgent Introduce top level configuration options for processing verification results Evgeny Novikov Evgeny Novikov Klever - 3.0
9293 Klever Feature New Urgent Install Python3 packages locally for users Evgeny Novikov Evgeny Novikov Klever - 3.0
9290 Klever Feature New High Respect warnings issued by Clade Evgeny Novikov
(1-25/1168) Per page: 25, 50, 100

Also available in: Atom CSV PDF