Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9394 Klever Feature New Urgent Support verification of built-in Linux kernel modules Evgeny Novikov Ilja Zakharov Klever - 2.1
9391 Klever Feature New Urgent Make production marks intended for Linux 3.14 Evgeny Novikov Evgeny Novikov Klever - 2.1
9381 Klever Feature New Urgent Return back program fragment sized Evgeny Novikov Ilja Zakharov 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
9348 Klever Feature New Urgent Request for changes in jobs and tasks just after receiving corresponding notifications Evgeny Novikov Ilja Zakharov Klever - 2.1
9347 Klever Feature New Urgent Notify schedulers about changes in jobs and tasks Evgeny Novikov Vladimir Gratinskiy Klever - 2.1
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 - 2.1
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 - 2.1
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
9290 Klever Feature New High Respect warnings issued by Clade Evgeny Novikov
9289 Klever Bug Closed Urgent Native Scheduler does not properly handle errors with tasks.json Evgeny Novikov Ilja Zakharov Klever - 2.0
9246 Klever Feature Closed Urgent Get ready rule specifications for verification of C programs Evgeny Novikov Evgeny Novikov Klever - 2.0
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
9236 Klever Feature New Urgent Get rid of option duplicates within rule specifications base Evgeny Novikov Ilja Zakharov Klever - 2.1
9193 Klever Feature New Urgent Continue sorting out sync:race tests Evgeny Novikov Pavel Andrianov Klever - 2.1
9186 Klever Feature New Urgent Get rid of VTG plugin callbacks Evgeny Novikov Evgeny Novikov Klever - 2.1
9167 Klever Feature New High Track speculative wall and CPU time Evgeny Novikov
9164 Klever Feature Closed Urgent Do not fail tasks and jobs if BenchExec detects CPU throttling Evgeny Novikov Ilja Zakharov Klever - 1.1
9159 Klever Feature New High Split schedulersutils/__init__.py Evgeny Novikov Ilja Zakharov
9158 Klever Feature New High Wait for apt unlocking Evgeny Novikov Evgeny Novikov
(1-25/1157) Per page: 25, 50, 100

Also available in: Atom CSV PDF