Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6642 Klever Feature New Normal JetBrains logo Evgeny Novikov Actions
6641 Klever Feature New Normal Ensure that current resource measurment is good enough Evgeny Novikov Actions
6638 Klever Feature New High Always use around advices Evgeny Novikov Evgeny Novikov Actions
6630 Klever Feature New High Implement Docker registry for verifiers and Core Evgeny Novikov Actions
6628 Klever Feature New High Fix model comments Evgeny Novikov Evgeny Novikov Actions
6627 Klever Feature New High Use common way to implement nondetermined behaviour Evgeny Novikov Evgeny Novikov Actions
6626 Klever Feature New High Use the same approach to specify model state and its changes Evgeny Novikov Evgeny Novikov Actions
6620 Klever Bug Open High Incorrect names of directories and files with schedulers and workers implementation Evgeny Novikov Ilja Zakharov Actions
6619 Klever Feature New High Time and memory size representation Evgeny Novikov Actions
6617 Klever Bug New Low Decision size is not checked Evgeny Novikov Actions
6605 Klever Feature New Normal Implement class Config Evgeny Novikov Actions
6603 Klever Bug New Normal Specify proper description of computer where tasks were solved Evgeny Novikov Actions
6602 Klever Feature New High Report more attributes Evgeny Novikov Actions
6587 Klever Feature New High Extract class Session to common libraries Evgeny Novikov Evgeny Novikov Actions
6586 Klever Feature New Normal Compress data sent to network Evgeny Novikov Vladimir Gratinskiy Actions
6585 Klever Feature New Normal Make wrapper around common function find_file_or_dir() as method of components.Component Evgeny Novikov Evgeny Novikov Actions
6583 Klever Bug New Normal Fix long lines and identation Evgeny Novikov Evgeny Novikov Actions
6582 Klever Feature New High Describe Python coding style Evgeny Novikov Evgeny Novikov Actions
6581 Klever Bug New Normal Fix names of variables, functions and configuration attributes Evgeny Novikov Evgeny Novikov Actions
6574 Klever Bug Open Normal Initialize callback parameters by default Ilja Zakharov Ilja Zakharov Actions
6553 Klever Feature New High Extract common functions of schedulers into schedulers common library Ilja Zakharov Ilja Zakharov Actions
6552 Klever Feature New High Implement Cluster Scheduler Ilja Zakharov Ilja Zakharov Actions
6550 Klever Feature New Low Update test generator module for schedulers Ilja Zakharov Actions
6548 C Instrumentation Framework Feature Open High Determine files with type declarations Ilja Zakharov Evgeny Novikov Actions
6547 C Instrumentation Framework Feature Open Low Source code quering to get information on local variables Ilja Zakharov Evgeny Novikov Actions
6546 C Instrumentation Framework Feature Open High GCC replaces boolean conjuction with bit precise analogue Ilja Zakharov Evgeny Novikov Actions
6541 Klever Feature New Low Scheduler exclusive execution check Ilja Zakharov Actions
6529 Requality Bug New Normal Не генерируется значение атрибута после Undo удаления узла Viktoria Kopach Actions
6526 Summer Feature New Normal Добавить Contract.fail(String) Alexey Demakov Actions
6514 Requality Feature New Normal Доработка импорта-экспорт каталога требований в стандартизованный формат Denis Kildishev Actions
6512 Requality Feature New Normal Сделать горячие клавиши для всех пунктов меню New в Requality Explorer Viktoria Kopach Actions
6506 Castle Task Feedback Normal Вопросы по представлению массивов Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6505 Castle Task Feedback Normal Вопросы по MetaInfo Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6491 Requality Feature New Low Диалог выбора удаляемых элементов Denis Kildishev Actions
6486 C Instrumentation Framework Feature Open High Get rid of auxiliary functions if possible Evgeny Novikov Evgeny Novikov Actions
6482 Requality Bug New Normal В тестовом проекте тесты не привязываются к test purpose Denis Kildishev Actions
6477 Requality Feature New Normal Хранение истории изменений в БД Denis Kildishev Actions
6476 Requality Feature New Normal Пересмотр способа хранения фрагментов требований Denis Kildishev Actions
6475 Requality Bug New Normal Расширение возможностей импорта\экспорта reqif Denis Kildishev Actions
6474 Requality Feature New Normal Изменение представления Reference Denis Kildishev Actions
6473 Requality Feature New Normal Расширение возможносей ссылок Denis Kildishev Actions
6471 Java SoftFloat Task New Normal Получение значений 16 битовых чисел с плавающей точкой Alexander Protsenko Alexander Protsenko Java SoftFloat - 2.0 Actions
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
6449 Retrascope Task New Low testbench generator taking test sequences and mappings as inputs Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6448 Retrascope Task New Low mapping description language + IR + parser Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6446 Retrascope Task New Normal Promela translator to CFG representation (no buffers) Sergey Smolov Mikhail Lebedev Retrascope - 2.0 Actions
6437 Requality Bug New Normal При выделении требования без фрагмента открывается UniEditor для другого проекта Anastasia Tugaenko Actions
6421 Requality Bug New Normal Ошибка при закрывании проекта при открытом в браузере документе Anastasia Tugaenko Actions
6419 Requality Feature New Normal Флажок для генерации неповторяющихся значений Viktoria Kopach Actions
6409 Requality Bug New Normal Итерируемые узлы не наследуют ссылку на фрагмент Viktoria Kopach Actions
(1351-1400/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF