Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6761 C Instrumentation Framework Bug Resolved Urgent float_expr and rdiv_expr aren't supported Ilya Shchepetkov Evgeny Novikov
9483 C Instrumentation Framework Bug Resolved Urgent Support external function declarations without parameters Ilya Shchepetkov Evgeny Novikov
9461 Klever Feature New Urgent Generate new reports with sources Evgeny Novikov Evgeny Novikov Klever - 3.0
9414 Klever Feature Open Urgent Reuse archive with source files between different error traces on report uploading Vitaly Mordan Evgeny Novikov Klever - 3.0
9453 Klever Feature New Urgent Generate code coverage in a new format Evgeny Novikov Evgeny Novikov Klever - 3.0
8494 Klever Feature New Urgent Process extended format of violation witnesses Evgeny Novikov Evgeny Novikov Klever - 3.0
9459 Klever Feature New Urgent Generate error traces in a new format Evgeny Novikov Evgeny Novikov Klever - 3.0
9443 C Instrumentation Framework Feature New Urgent Allow obtaining data necessary for cross referencing Evgeny Novikov Evgeny Novikov
9346 C Instrumentation Framework Bug New Urgent Remove "-include" options after second stage Evgeny Novikov Evgeny Novikov
9367 Klever Bug Open Urgent Misleading message in the error description Vadim Mutilin Evgeny Novikov Klever - 3.0
9369 Klever Bug Open Urgent Update production silently ignores wrong directory name Vadim Mutilin Evgeny Novikov 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
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
9186 Klever Feature New Urgent Get rid of VTG plugin callbacks Evgeny Novikov Evgeny Novikov Klever - 3.0
8889 Klever Feature New Urgent Support verification job formats properly Evgeny Novikov Evgeny Novikov Klever - 3.0
9093 Klever Bug New Urgent Stop services before updates Evgeny Novikov Evgeny Novikov Klever - 3.0
9042 Klever Feature New Urgent Enable automatic start ups of Klever services Evgeny Novikov Evgeny Novikov Klever - 3.0
9002 Klever Feature New Urgent Switch to systemd scripts from init.d ones Evgeny Novikov Evgeny Novikov Klever - 3.0
8500 Klever Bug New Urgent Environment model simplifications can break error traces Evgeny Novikov Evgeny Novikov Klever - 3.0
4398 C Instrumentation Framework Bug Open High Aspectator and C back-end should support GCC vector type Evgeny Novikov Evgeny Novikov
9244 Klever Feature New High Refactor models and rule specifications related both with EMG and requirements Evgeny Novikov Evgeny Novikov
8568 Klever Feature New High Optimize weaving Evgeny Novikov Evgeny Novikov
9243 Klever Feature New High Add more tests for models related both with EMG and requirements Evgeny Novikov Evgeny Novikov
877 C Instrumentation Framework Feature New High Try to use gcc tests for C backend Evgeny Novikov Evgeny Novikov
(1-25/218) Per page: 25, 50, 100

Also available in: Atom CSV PDF