Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10497 Requality Task New Normal Автоматизация распределения ForeignID идентефикаторов Denis Kildishev Actions
10496 Klever Feature Resolved Urgent Speed up loading of source files and related data Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10493 Klever Feature Resolved Urgent Clean up directories when deploying new instances of Bridge Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10490 Klever Bug New Urgent Fix messages and their translation Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10486 Klever Feature New High Develop environment model specification for inode_operations Evgeny Novikov Evgeny Novikov Actions
10485 Klever Feature New High Improve and develop environment model specifications for file_system_type and super_operations Evgeny Novikov Evgeny Novikov Actions
10484 Klever Feature New High Improve and develop filesystem environment model specifications Evgeny Novikov Evgeny Novikov Actions
10478 C Instrumentation Framework Bug New High Respect intermixes of declarations and statements Evgeny Novikov Evgeny Novikov Actions
10474 QEMU4V Task Resolved Normal migrate to QEMU 5.1.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10471 Deductive Verification Tools for Linux Kernel Feature New Normal Support ARM architecture Evgeny Novikov Mikhail Mandrykin Actions
10470 Requality Bug Resolved Normal Переработать инициализацию виртуальных ValueProvider Denis Kildishev Requality - 1.3 (development) Actions
10469 Klever Feature New Urgent Required to implement a specification for input_ff_create_memless Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10465 Klever Feature New Urgent Update Klever tutorial Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
10463 Requality Bug New Normal При удалении фрагмента с картинкой в Outline остается missing Viktoria Kopach Actions
10462 Retrascope Bug Resolved Normal Разработка VCD printer. Тип переменной "NULL" Maxim Chudnov Sergey Smolov Retrascope - 1.1 Actions
10460 Klever Feature Resolved Urgent Get rid of unclear parentheses when representing Safes, Unsafes and Unknowns Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10459 Requality Bug New Normal Удаленный документ остается висеть в редакторе Viktoria Kopach Actions
10457 Requality Bug New Normal При указании цели ссылки By element путь в настройках становится как By element и ByUVName одновременно Viktoria Kopach Actions
10456 Requality Bug New Normal Меню Repository появляется только со второго открытия Viktoria Kopach Actions
10454 Klever Feature New High Implement a conditional choice of functions for an environment model Ilja Zakharov Ilja Zakharov Actions
10452 Requality Bug Verified Normal Некоторые проекты отображаются в Requality Explorer не как проекты Requality Viktoria Kopach Requality - 1.2 (beta) Actions
10451 Requality Bug Verified Normal Перестало срабатывать удаление на узлах проекта Requality Viktoria Kopach Requality - 1.2 (beta) Actions
10450 Requality Bug Verified Normal На корневом узле Requirement доступно действие Delete Viktoria Kopach Requality - 1.2 (beta) Actions
10449 Requality Bug Verified Normal Бесконечно продолжается процесс "init browsers enjines" Viktoria Kopach Requality - 1.2 (beta) Actions
10448 Requality Bug Verified Normal Изменение имени папки отчетов не отображается в .gitignore Viktoria Kopach Requality - 1.2 (beta) Actions
(1-25/1529) Per page: 25, 50, 100

Also available in: Atom CSV PDF