Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9610 Klever Feature New Urgent Show actual Frama-C (CIL) failures Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9609 Klever Feature Resolved Urgent Avoid recursion in simple tests Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9608 Requality Bug Resolved Normal Отчеты не всегда генерируются Viktoria Kopach (Gingina) Requality - 1.1 (development) Actions
9604 Klever Feature Open Urgent Develop new test suite for CPAchecker on base of Klever integration tests Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9602 Requality Bug Resolved Normal При переименовании папки документов зависает Eclipse Viktoria Kopach (Gingina) Requality - 1.1 (development) Actions
9601 Requality Bug Resolved Normal Новые фрагменты создаются как orphan Viktoria Kopach (Gingina) Requality - 1.1 (development) Actions
9600 Deductive Verification Tools for Linux Kernel Bug New Normal Why3Ide: "Fastest" button broken Denis Efremov Mikhail Mandrykin Actions
9599 Klever Feature New Urgent Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7 Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9598 Deductive Verification Tools for Linux Kernel Feature New Normal coq: driver: rewrite && to -> in inductive defitions; use let Denis Efremov Mikhail Mandrykin Actions
9597 Klever Feature New High Evaluate how much space on disk is necessary at most for verification of all Linux 3.14 kernel loadable modules against 3 requirements Evgeny Novikov Actions
9596 Requality Feature New Normal В окне поиска сделать прокрутку или перенос для строки с формулой Viktoria Kopach (Gingina) Actions
9589 Klever Bug New Urgent Fix obtaining compiler options for building models Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9584 Klever Feature New High Handle one more warning from BenchExec Evgeny Novikov Ilja Zakharov Actions
9583 Klever Feature New Urgent Update CPAchecker Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9577 C Instrumentation Framework Feature New Urgent Disable C++ support Evgeny Novikov Evgeny Novikov Actions
9572 Requality Bug New Normal В Requality Explorer в некоторых ситуациях при поиске фокус не сразу переходит на нужный узел Viktoria Kopach (Gingina) Actions
9571 Requality Bug Resolved Normal После переоткрытия проект отображается без содержимого Viktoria Kopach (Gingina) Actions
9563 Deductive Verification Tools for Linux Kernel Feature New Normal Investigate less efficient code generation Evgeny Novikov Mikhail Mandrykin Actions
9562 Retrascope Bug New Normal ru.ispras.retrascope.engine.hldd.printer.smv.usedef.MemStageUseDefSmvPrinterTestCase: model checker crashes without errors in *.smvlog Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9559 C Instrumentation Framework Bug Open Urgent C back-end incorrectly prints wide character strings Evgeny Novikov Evgeny Novikov Actions
9556 Requality Bug New Normal Новый узел наследует Id не от предыдущего созданного узла Viktoria Kopach (Gingina) Actions
9553 Requality Bug New Normal Некорректное сообщение при одновременном удалении узлов, связанных ссылкой. Viktoria Kopach (Gingina) Actions
9545 Klever Feature New Urgent Increase automatic update period for job pages Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
9542 Requality Bug New Normal После установки Local only значимые изменения проекта не коммитятся в репозиторий Viktoria Kopach (Gingina) Requality - 1.1 (development) Actions
9541 Requality Bug New Normal Не сразу срабатываем Undo и не срабатывает Redo для установки галочки Local only Viktoria Kopach (Gingina) Actions
(1-25/1575) Per page: 25, 50, 100

Also available in: Atom CSV PDF