Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
8158 Requality Feature New Normal Замечания по плагину libre Viktoria Kopach Иван Девицкий Actions
8143 Klever Feature New High Add support for logging reports Evgeny Novikov Vladimir Gratinskiy Actions
8142 Requality Bug New Normal Не обновляется UniEditor Viktoria Kopach Actions
8141 Requality Bug New Normal Нет возможности сделать Undo после обработки документа Update процессором. Viktoria Kopach Actions
8138 Klever Feature New Normal Do not place closing rectangles on the separate lines Evgeny Novikov Vladimir Gratinskiy Actions
8137 Klever Feature New High Properly place context switching model comments Evgeny Novikov Ilja Zakharov Actions
8135 Klever Feature New High Precise environment model can reveal bug in a driver that incorrectly uses registration or allocation functions Ilja Zakharov Ilja Zakharov Actions
8132 Klever Feature New High Create model headers Evgeny Novikov Evgeny Novikov Actions
8130 Klever Feature New Normal Allow to additionally highlight actions with the same entities and allow to hide their highlights at all Evgeny Novikov Vladimir Gratinskiy Actions
8129 Klever Feature New High Get rid of model function comments Evgeny Novikov Evgeny Novikov Actions
8128 Klever Feature New Normal Support model comments parametrization Evgeny Novikov Actions
8127 Klever Feature New High Clarify model comments a bit Evgeny Novikov Ilja Zakharov Actions
8121 Klever Feature New High Do not check final state if modules can't be unloaded Evgeny Novikov Evgeny Novikov Actions
8120 Klever Feature New High Execute intensive disk operations using RAM Evgeny Novikov Actions
8111 Klever Feature New High Wrap model comments over several lines automatically Evgeny Novikov Vladimir Gratinskiy Actions
8104 Klever Feature New High When marked reports are compared it is unclear whether marks and their similarities are the same Evgeny Novikov Vladimir Gratinskiy Actions
8103 Klever Feature New High Remember open verification jobs at job tree page Evgeny Novikov Vladimir Gratinskiy Actions
8102 Klever Feature New High Add an ability to specify or/and to change compared verification jobs order Evgeny Novikov Vladimir Gratinskiy Actions
8100 Klever Feature New High Add support for verification back-ends hot-plug Evgeny Novikov Actions
(1051-1100/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF