Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
8092 Klever Feature New High Support lightweight verificaiton for rules checking API usage Evgeny Novikov Actions
8089 Klever Bug New High Canceling of tasks doesn't work with VerifierCloud Evgeny Novikov Actions
8088 Klever Bug New High Merge configurations properly Evgeny Novikov Ilja Zakharov Actions
8082 Klever Feature New High Forbid unknown verdicts and empty tags for false positives Evgeny Novikov Vladimir Gratinskiy Actions
8081 Klever Feature New High Report interfaces for which environment models were not generated Evgeny Novikov Ilja Zakharov Actions
8076 Klever Bug New Normal Improve model for ieee80211_alloc_hw Ilja Zakharov Ilja Zakharov Actions
8075 Klever Bug New Normal Improve file_operations specification Ilja Zakharov Ilja Zakharov Actions
8074 Klever Bug New Normal Improve model for alloc_netdev Ilja Zakharov Ilja Zakharov Actions
8073 Klever Bug New High Improve usb_serial_driver specification Ilja Zakharov Ilja Zakharov Actions
8072 Klever Feature New High Environment model should correctly use device identifiers Ilja Zakharov Ilja Zakharov Actions
8071 Klever Bug New High Develop specification for platform_driver_register Ilja Zakharov Ilja Zakharov Actions
8070 Klever Bug New High Develop model for usb_class_driver Ilja Zakharov Ilja Zakharov Actions
(1001-1050/1993) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF