Project

General

Profile

extended view

Apply Clear

# Tracker Status Priority Subject Author Assignee Updated Target version Detected in build Published in build
  New 1137 Collapse all/Expand all
9615 Bug New Normal Сообщения в Error log при перетаскивании документа в другую папку Viktoria Kopach (Gingina) 04/25/2019 04:37 PM Requality - 1.1 (development) 1.1.562 Actions
9610 Feature New Urgent Show actual Frama-C (CIL) failures Evgeny Novikov Evgeny Novikov 04/19/2019 02:08 PM Klever - 3.0 Actions
9600 Bug New Normal Why3Ide: "Fastest" button broken Denis Efremov Mikhail Mandrykin 04/16/2019 04:50 PM svn Actions
9599 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 04/23/2019 08:43 AM Klever - 3.0 Actions
9598 Feature New Normal coq: driver: rewrite && to -> in inductive defitions; use let Denis Efremov Mikhail Mandrykin 04/15/2019 08:10 PM Actions
9597 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 04/14/2019 01:13 PM Actions
9589 Bug New Urgent Fix obtaining compiler options for building models Evgeny Novikov Evgeny Novikov 04/07/2019 03:52 PM Klever - 3.0 svn Actions
9584 Feature New High Handle one more warning from BenchExec Evgeny Novikov Ilja Zakharov 04/03/2019 10:01 AM Actions
9583 Feature New Urgent Update CPAchecker Evgeny Novikov Evgeny Novikov 04/19/2019 02:58 PM Klever - 3.0 Actions
9577 Feature New Urgent Disable C++ support Evgeny Novikov Evgeny Novikov 04/01/2019 08:16 AM Actions
9572 Bug New Normal В Requality Explorer в некоторых ситуациях при поиске фокус не сразу переходит на нужный узел Viktoria Kopach (Gingina) 03/27/2019 05:41 PM 1.1.558 Actions
9563 Feature New Normal Investigate less efficient code generation Evgeny Novikov Mikhail Mandrykin 03/25/2019 02:56 PM Actions
9562 Bug New Normal ru.ispras.retrascope.engine.hldd.printer.smv.usedef.MemStageUseDefSmvPrinterTestCase: model checker crashes without errors in *.smvlog Sergey Smolov Mikhail Lebedev 03/25/2019 11:44 AM Retrascope - 1.0 master Actions
9556 Bug New Normal Новый узел наследует Id не от предыдущего созданного узла Viktoria Kopach (Gingina) 03/19/2019 06:02 PM 1.1.556 Actions
9553 Bug New Normal Некорректное сообщение при одновременном удалении узлов, связанных ссылкой. Viktoria Kopach (Gingina) 03/19/2019 02:58 PM 1.1.556 Actions
9545 Feature New Urgent Increase automatic update period for job pages Evgeny Novikov Vladimir Gratinskiy 03/15/2019 09:33 AM Klever - 3.0 Actions
9542 Bug New Normal После установки Local only значимые изменения проекта не коммитятся в репозиторий Viktoria Kopach (Gingina) 03/13/2019 05:53 PM Requality - 1.1 (development) 1.1.556 Actions
9541 Bug New Normal Не сразу срабатываем Undo и не срабатывает Redo для установки галочки Local only Viktoria Kopach (Gingina) 03/13/2019 04:50 PM 1.1.556 Actions
9540 Task New Normal Попробовать использовать eclipse зависимости для консольной загрузки Denis Kildishev 03/13/2019 04:45 PM svn Actions
9530 Feature New High Investigate cons and pros of Frama-C (CIL) slicing Evgeny Novikov 03/13/2019 08:08 AM Actions
9526 Bug New Normal Why3: опция для подключения файла с доказательствами Coq Denis Efremov Mikhail Mandrykin 03/12/2019 01:28 PM svn Actions
9518 Feature New Urgent Change the color scheme for coverage from red to green Ilja Zakharov Vladimir Gratinskiy 03/07/2019 12:29 AM Klever - 3.0 Actions
9507 Feature New Urgent Update VerifierCloud scheduler to the recent API Ilja Zakharov Ilja Zakharov 02/27/2019 03:51 PM Klever - 3.0 Actions
9506 Feature New Urgent Support VerifierCloud installations without authentication Ilja Zakharov Vladimir Gratinskiy 02/27/2019 03:45 PM Klever - 3.0 Actions
9500 Feature New Urgent Finish support of MySQL/MariaDB Evgeny Novikov Vladimir Gratinskiy 02/25/2019 11:20 AM Klever - 3.0 Actions
(1-25/1578) Per page: 25, 50, 100

Also available in: Atom CSV PDF