Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9391 Klever Feature New Urgent Make production marks intended for Linux 3.14 Evgeny Novikov Evgeny Novikov Klever - 2.1
9367 Klever Bug Open Urgent Misleading message in the error description Vadim Mutilin Evgeny Novikov Klever - 2.1
9369 Klever Bug Open Urgent Update production silently ignores wrong directory name Vadim Mutilin Evgeny Novikov Klever - 2.1
9355 Klever Feature New Urgent Suggest more user friendly configuration for program fragments and requirements Evgeny Novikov Evgeny Novikov Klever - 2.1
9349 Klever Feature New Urgent Support regular expressions for providing ideal verdicts Evgeny Novikov Evgeny Novikov Klever - 2.1
9346 C Instrumentation Framework Bug New Urgent Remove "-include" options after second stage Evgeny Novikov Evgeny Novikov
9313 Klever Feature New Urgent Introduce top level configuration options for processing verification results Evgeny Novikov Evgeny Novikov Klever - 2.1
9293 Klever Feature New Urgent Install Python3 packages locally for users Evgeny Novikov Evgeny Novikov Klever - 2.1
9186 Klever Feature New Urgent Get rid of VTG plugin callbacks Evgeny Novikov Evgeny Novikov Klever - 2.1
8889 Klever Feature New Urgent Support verification job formats properly Evgeny Novikov Evgeny Novikov Klever - 2.1
9093 Klever Bug New Urgent Stop services before updates Evgeny Novikov Evgeny Novikov Klever - 2.1
9042 Klever Feature New Urgent Enable automatic start ups of Klever services Evgeny Novikov Evgeny Novikov Klever - 2.1
9002 Klever Feature New Urgent Switch to systemd scripts from init.d ones Evgeny Novikov Evgeny Novikov Klever - 2.1
8568 Klever Feature New Urgent Optimize weaving Evgeny Novikov Evgeny Novikov Klever - 2.1
9244 Klever Feature New Urgent Refactor models and rule specifications related both with EMG and requirements Evgeny Novikov Evgeny Novikov Klever - 2.1
9243 Klever Feature New Urgent Add more tests for models related both with EMG and requirements Evgeny Novikov Evgeny Novikov Klever - 2.1
8500 Klever Bug New Urgent Environment model simplifications can break error traces Evgeny Novikov Evgeny Novikov Klever - 2.1
877 C Instrumentation Framework Feature New High Try to use gcc tests for C backend Evgeny Novikov Evgeny Novikov
6829 C Instrumentation Framework Feature Open High Make CIF to look like GCC Evgeny Novikov Evgeny Novikov
9158 Klever Feature New High Wait for apt unlocking Evgeny Novikov Evgeny Novikov
9145 Klever Feature New High Do not restart Native Scheduler when changing Job Worker configuration Evgeny Novikov Evgeny Novikov
9141 Klever Feature New High Do not start up graphical interface for Klever OpenStack instances Evgeny Novikov Evgeny Novikov
8119 Klever Feature New High Develop preset tags Evgeny Novikov Evgeny Novikov
9058 Klever Bug New High Exceptions if there are problems with connection to cloud Pavel Andrianov Evgeny Novikov
8296 Klever Feature New High Prepare scripts for automatic deployment on most popular Linux distributions of the latest versions Evgeny Novikov Evgeny Novikov
(1-25/213) Per page: 25, 50, 100

Also available in: Atom CSV PDF