Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10991 C Instrumentation Framework Bug New Urgent Using LDV_PRINT_SIGNATURE_OF_MATCHED_BY_NAME results in segmentation fault Evgeny Novikov Evgeny Novikov Actions
10990 Klever Feature New High Describe configuration of verification tools Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10989 Requality Bug New Normal При первом открытии вкладка History пуста Viktoria Kopach Actions
10988 Retrascope Task New Normal lowercase debug messages Sergey Smolov Sergey Smolov Actions
10974 Klever Feature New High Parse and merge debug data presented by CPAchecker Evgeny Novikov Evgeny Novikov Klever - 3.4 Actions
10963 Requality Bug New Normal Поправить работу "show description in elements" для узлов с фрагментами Viktoria Kopach Actions
10962 Requality Bug New Normal Два атрибута с одинаковым именем Viktoria Kopach Actions
10961 Requality Bug Verified Normal Ошибка, при установке типа атрибута REFERENCE Viktoria Kopach Actions
10960 Requality Bug Verified Normal Ошибка при создании нового проекта Viktoria Kopach Actions
10958 Klever Feature New High Check translator restrictions and raise exceptions if necessary Ilja Zakharov Ilja Zakharov Klever - 3.4 Actions
10957 Klever Feature New High Develop models for kmem_cache_create/aloc/destroy() Evgeny Novikov Evgeny Novikov Klever - 3.4 Actions
10956 Klever Feature Resolved High Allow uploading images and captions for Core components Evgeny Novikov Vladimir Gratinskiy Klever - 3.4 Actions
10955 Klever Feature New High Describe program decomposition Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10954 Klever Feature New Urgent Allow setting action dependencies of savepoints Ilja Zakharov Ilja Zakharov Klever - 3.4 Actions
10953 Klever Feature New High Visualize savepoints in graphic representation of environment models Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10952 Klever Bug New High Get rid of redundant parts in graphical representation of environment model processes Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10949 Klever Feature New Urgent Track dependencies during the combinatorial decomposition tactic in EMG Ilja Zakharov Ilja Zakharov Klever - 3.4 Actions
10948 Klever Feature New High Add means to add headers and declarations globally in EMG specifications Ilja Zakharov Ilja Zakharov Klever - 3.4 Actions
10946 Klever Feature New High Provide users with graphical representation of environment models Evgeny Novikov Evgeny Novikov Klever - 3.4 Actions
10945 Klever Feature New High Allow to add savepoints for the main process Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10940 Klever Feature New High Always specify specifications set in job.json Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10937 Klever Feature New High Migrate Klever to Python 3.10 Evgeny Novikov Evgeny Novikov Klever - 3.4 Actions
10935 Klever Feature New High Try to use Debian 10 (11) as a base Linux distribution for Klever OpenStack instances Evgeny Novikov Evgeny Novikov Klever - 3.4 Actions
10934 Klever Feature New High Test and fix if necessary deployment of Klever on Debian 10/11, Ubuntu 20.04, Fedora 33/34 and openSUSE 15.3 Evgeny Novikov Evgeny Novikov Klever - 3.4 Actions
10932 Klever Feature New High Output intermediate environment models in a more user-friendly way Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
(1-25/1561) Per page: 25, 50, 100

Also available in: Atom CSV PDF