Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8472 Requality Bug New Normal Ошибки при открытии Eclipse Viktoria Kopach Actions
8470 Requality Bug New Normal Некорректно работает удаление фрагмента Viktoria Kopach Actions
8464 Klever Feature New High Reduce computational resources consumed by auxiliary tasks generation and results processing workers Evgeny Novikov Actions
8457 Requality Feature New Normal Удобство создания подтребований на тот же уровне в редакторе документа Viktoria Kopach Actions
8453 Klever Bug New High Some rules are broken and cannot be used without CIL Ilja Zakharov Evgeny Novikov Actions
8451 Deductive Verification Tools for Linux Kernel Bug New Normal русские буквы в путях к файлу Denis Efremov Mikhail Mandrykin Actions
8440 Klever Bug New High Error traces comparison function remove does not trigger cache updates Evgeny Novikov Vladimir Gratinskiy Actions
8419 Requality Bug New Normal Публикация плагина для LibreOffice Alexey Khoroshilov Максим Карпов Actions
8408 Klever Bug New High Initialize all local variables in addition to pointers and function pointers as nondet values Ilja Zakharov Ilja Zakharov Actions
8407 Klever Bug New High Do not pass unitialized function pointers to functions and pass null instead Ilja Zakharov Ilja Zakharov Actions
8395 Klever Feature New High Introduce verification start and finish reports Evgeny Novikov Actions
8390 Klever Bug New High Misleading log message when verification job decision is finished Evgeny Novikov Ilja Zakharov Actions
8379 Klever Feature New Normal Properly process wall time outs Evgeny Novikov Actions
8378 Klever Feature New High Convert time shown in requests log to user specific time zone Evgeny Novikov Vladimir Gratinskiy Actions
8375 C Instrumentation Framework Bug New Normal Excessive const qualifier for local array of function pointers Evgeny Novikov Evgeny Novikov Actions
8373 Klever Bug New Normal Improve iio_triggered_buffer env model Ilja Zakharov Actions
8369 Klever Feature New High Allow to keep job and task working directories for particular jobs Evgeny Novikov Ilja Zakharov Actions
8365 Klever Feature New High Wait for completion of all operations and try to execute them several times in case of failures Evgeny Novikov Actions
8361 Klever Feature New High Keep and pretty visualize workers load Evgeny Novikov Vladimir Gratinskiy Actions
8360 Klever Feature New High Specify violated properties as additional attribute for unsafes Evgeny Novikov Actions
8350 Requality Bug New Normal Некорректно работает импорт из DOORS Viktoria Kopach Actions
8345 Klever Bug New High Incorrect error message when canceling job decisions after page updates are switched off Evgeny Novikov Vladimir Gratinskiy Actions
8344 Klever Feature New High Show help messages to distinguish confirmed bugs, false alarms, etc. Evgeny Novikov Vladimir Gratinskiy Actions
8343 Klever Feature New High Make link for comparing reports Evgeny Novikov Vladimir Gratinskiy Actions
8339 Klever Feature New High Add user setting to select default error trace convertion function, comparison criterion and similarity threshold Evgeny Novikov Vladimir Gratinskiy Actions
8318 Requality Task New Normal [jetos-reqs] Адекватное отображение вложенных списков в DOORS. Курбан Маллачиев Denis Kildishev Actions
8317 Requality Task Open Normal [jetos-reqs] Несколько примечаний у одного требования Курбан Маллачиев Denis Kildishev Actions
8307 Requality Bug New Normal StackOverflow при вызове GenerateReportHandler.generateReport(ReportSettings) Максим Карпов Actions
8306 Klever Bug New Normal EMG registers random interrupt handler Pavel Andrianov Ilja Zakharov Actions
8298 Klever Feature New High Highlight tag rights Evgeny Novikov Vladimir Gratinskiy Actions
8296 Klever Feature New High Prepare scripts for automatic deployment on most popular Linux distributions of the latest versions Evgeny Novikov Evgeny Novikov Actions
8295 Requality Bug New Normal Генератор значений атрибута не открывается после создания другого атрибута Viktoria Kopach Actions
8294 Requality Bug New Normal Генератор значений атрибута - проблемы с полем Formula Viktoria Kopach Actions
8281 Requality Bug New Low Error message при создании проекта Requality Viktoria Kopach Actions
8274 Klever Feature New High Support advanced attributes comparison Evgeny Novikov Vladimir Gratinskiy Actions
8273 Klever Feature New High Transfer marks with the job solution results if threre are exist Ilja Zakharov Evgeny Novikov Actions
8269 Klever Feature New High Allow to use swap when solving jobs or tasks Evgeny Novikov Ilja Zakharov Actions
8266 Klever Bug New Normal EMG should consider cases when a kernel function with a model is set as handler Pavel Andrianov Ilja Zakharov Actions
8232 Klever Bug New High ieee80211_register_hw should register callbacks instead of ieee80211_alloc_hw Vadim Mutilin Ilja Zakharov Actions
8193 Klever Bug New High Calculate and show meaningful consumed resources Vitaly Mordan Actions
8188 Klever Bug New Normal IS_ERR is not matched in 4.2.6 for ldv_is_err Vadim Mutilin Actions
8186 MicroTESK Task New Normal Full support for 'struct' in nml Alexander Protsenko Artem Kotsynyak MicroTESK - 2.6 Actions
8178 Klever Feature New High Get rid of some buttons Evgeny Novikov Vladimir Gratinskiy Actions
8176 Klever Feature New High Report verification unknowns early if it is clear that verfier does not have capabilities to decide corresponding verification tasks Evgeny Novikov Ilja Zakharov Actions
8175 Klever Feature New High Add support for high-level interface to static verifiers Evgeny Novikov Actions
8172 Klever Bug New High Unsafe verdicts of multimodule verification aren't associated with marks for single module verification Alexey Polushkin Vladimir Gratinskiy Actions
8167 QEMU4V Task New Low Program flow tracing Sergey Smolov Actions
8166 Requality Bug New Normal Libre - поправить сортировку закладок Viktoria Kopach Иван Девицкий Actions
8160 Requality Bug New Normal Libre: странные bookmark Viktoria Kopach Иван Девицкий Actions
8159 Requality Feature New Normal Libre: обработка лишних пробелов в заголовках Viktoria Kopach Иван Девицкий Actions
(1101-1150/2124) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF