Project

General

Profile

extended view

Apply Clear

# Tracker Status Priority Subject Author Assignee Updated Target version Detected in build Published in build
  New 1145 Collapse all/Expand all
9718 Bug New Normal При смене идентификатора случается довольно длительное зависание Viktoria Kopach 06/20/2019 01:44 PM 1.1.579 Actions
9717 Feature New Normal В отчетах ядра заменить русский текст на английский (неизменяемую часть) Viktoria Kopach 06/20/2019 01:23 PM Actions
9715 Bug New Normal В настройках отчета слишком длинное поле "Generate report for related projects" Viktoria Kopach 06/19/2019 05:05 PM 1.1.579 Actions
9714 Feature New Urgent Update preset jobs for production use Ilja Zakharov Ilja Zakharov 06/19/2019 11:57 AM Klever - 3.0 Actions
9713 Bug New Normal Некорректное переключение версии для двух хранимых в одном репозитории проектов Denis Kildishev 06/18/2019 07:26 PM svn Actions
9712 Bug New Normal Ошибка генерации отчета на старых версиях проекта Denis Kildishev 06/18/2019 07:22 PM svn Actions
9710 Bug New High Problem with converting of type specifiers Ilya Shchepetkov Evgeny Novikov 06/17/2019 04:27 PM svn Actions
9709 Bug New Normal astraver: support calls annotation Denis Efremov Mikhail Mandrykin 06/14/2019 06:48 PM svn Actions
9708 Bug New Normal astraver: attach#global: called on already dead object Denis Efremov Mikhail Mandrykin 06/14/2019 06:46 PM svn Actions
9703 Feature New High Update to BenchExec 1.19 Evgeny Novikov 06/06/2019 09:44 PM Actions
9696 Bug New Urgent Klever deployment script removes build bases Ilja Zakharov Evgeny Novikov 06/03/2019 02:07 PM svn Actions
9694 Feature New Urgent Initiate discussion on results for Juilet test suite with its developers Evgeny Novikov Evgeny Novikov 05/29/2019 04:22 PM Klever - 3.0 Actions
9691 Feature New Urgent Integrate Juliet test suite as one more validation job Evgeny Novikov Evgeny Novikov 05/29/2019 04:03 PM Klever - 3.0 Actions
9687 Feature New Normal Repository: При невозможности подгрузить историю выдавать соответствующее уведомление на вкладке History Viktoria Kopach 06/17/2019 05:13 PM 1.1.576 Actions
9678 Bug New Normal Не ожидаемое перескакивание фокуса на предыдущий узел при изменении Id Viktoria Kopach 05/27/2019 08:36 PM 1.1.570 Actions
9670 Task New Normal add 'ar.v' module to the test suite when SVA support will be implemented Sergey Smolov Sergey Smolov 05/22/2019 02:24 PM svn Actions
9669 Bug New Normal verker: make sprove-proved, make verify-proved hungs Denis Efremov Mikhail Mandrykin 05/22/2019 10:27 AM svn Actions
9665 Feature New Normal GIT: сделать дружелюбную обработку некорректного ввода логина/пароля при подключении к GIT Viktoria Kopach 05/21/2019 04:26 PM Actions
9658 Task New Normal Check for duplicated data access conflict assertions Sergey Smolov Mikhail Lebedev 05/17/2019 04:06 PM Retrascope - 1.0 master Actions
9652 Bug New High Schedulers initialize themselves 3 times Evgeny Novikov Ilja Zakharov 05/16/2019 09:58 AM svn 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
(1-25/1590) Per page: 25, 50, 100

Also available in: Atom CSV PDF