Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6963 Requality Feature New Low Подсказка имени свойства для выборанного типа свойств Denis Kildishev Actions
6951 Klever Feature New Normal Developing a verification strategy to tackle verification tasks with independent process instances Vadim Mutilin Ilja Zakharov Actions
6945 Requality Feature New Normal Модифицировать интерфейс для настройки параметров отчетов Anastasia Tugaenko Actions
6911 MicroTESK Bug New Normal The "get_address_of" method must work with all label types. Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
6888 Klever Feature New Normal Implicitly specify target architecture for static verifiers Evgeny Novikov Actions
6866 Summer Bug New Normal битовое | между boolean значениями Alexey Demakov Victor Kuliamin Actions
6865 Summer Bug New Normal После реинициализации Guard ссылается на старые объекты Alexey Demakov Victor Kuliamin Actions
6829 C Instrumentation Framework Feature Open High Make CIF to look like GCC Evgeny Novikov Evgeny Novikov Actions
6827 C Instrumentation Framework Feature New High Merge weaving for different entities Evgeny Novikov Evgeny Novikov Actions
6826 C Instrumentation Framework Feature New High Make refactoring of advice body patterns Evgeny Novikov Evgeny Novikov Actions
6825 Klever Feature New Normal Support for containers represented as local variables Vadim Mutilin Actions
6824 Klever Feature New Normal Support for kthread_run in EMG Vadim Mutilin Actions
6823 Requality Feature New Normal Добавить чекер для провеки полей со значениями вида "Будет определено позднее" Anastasia Tugaenko Actions
6821 Klever Feature New Normal E-mail notifications Evgeny Novikov Vladimir Gratinskiy Actions
6817 Requality Bug New Low В настройках отчета Traceability "мигает" reference-name "elaborates" Viktoria Kopach Actions
6806 Klever Feature New Normal Visualize CPAchecker statistics within Bridge Ilja Zakharov Vladimir Gratinskiy Actions
6805 Klever Feature New Normal Compress data sent to network Evgeny Novikov Actions
6804 Klever Feature New Normal Upload CPAchecker statistics in the development mode Ilja Zakharov Actions
6803 Klever Feature New Normal Extract CPAchecker statistics from its log Ilja Zakharov Ilja Zakharov Actions
6802 Klever Bug New Normal Native scheduler does not add host information to task decision report Ilja Zakharov Actions
6801 Klever Feature New Normal Upload and show CPAchecker statistics in development mode Ilja Zakharov Actions
6798 Klever Feature New High Generilize entities representation Evgeny Novikov Vladimir Gratinskiy Actions
6795 Klever Feature New Normal Testing specification compatibility Evgeny Novikov Actions
6768 Klever Feature New Normal Spell checkers support Evgeny Novikov Vladimir Gratinskiy Actions
6767 Klever Feature New Normal Interface should be media projectors safe Evgeny Novikov Vladimir Gratinskiy Actions
6765 Klever Feature New Normal Statistics sorting Evgeny Novikov Vladimir Gratinskiy Actions
6724 Klever Feature New Normal Include deletion of jobs and marks into users last activity Evgeny Novikov Vladimir Gratinskiy Actions
6722 Klever Feature New Normal Jobs/marks last activity Evgeny Novikov Vladimir Gratinskiy Actions
6720 Klever Feature New Normal Database/table character set and collation Evgeny Novikov Vladimir Gratinskiy Actions
6713 Klever Feature New Normal Provide better description why job can not be solved Evgeny Novikov Vladimir Gratinskiy Actions
6709 Klever Bug New Normal Clearly separate errors reported to users and to tools Evgeny Novikov Vladimir Gratinskiy Actions
6708 Klever Feature New Normal Add howto for regular expressions used as patterns and problems for unknowns Evgeny Novikov Vladimir Gratinskiy Actions
6706 Klever Feature New Normal Make problem names as links Evgeny Novikov Vladimir Gratinskiy Actions
6705 Klever Feature New Normal Provide users with restrictions on field values Evgeny Novikov Vladimir Gratinskiy Actions
6703 Klever Feature New Normal Generate several environment models per abstract verification task Ilja Zakharov Ilja Zakharov Actions
6702 Klever Feature New Low Generate restricted environment model Ilja Zakharov Ilja Zakharov Actions
6684 Requality Feature New Normal Запуск checker-ов Anastasia Tugaenko Actions
6683 Requality Feature New Normal Добавить еще два вида checker-ов Anastasia Tugaenko Actions
6678 Klever Feature New Normal Alert when leaving edit pages with changes Evgeny Novikov Vladimir Gratinskiy Actions
6677 Klever Feature New High Dynamically update component pages Evgeny Novikov Vladimir Gratinskiy Actions
6675 Requality Feature New Normal Объединить ВСЕ настройки узла Report Settings в один интерфейс Viktoria Kopach Actions
6673 Klever Feature New Normal Send requests by pressing Enter Evgeny Novikov Vladimir Gratinskiy Actions
6671 Klever Feature New Normal Show information on job tasks at job page Evgeny Novikov Vladimir Gratinskiy Actions
6670 Requality Bug New Normal При работе с svn возникает сообщение об ошибке "process site delta" Viktoria Kopach Actions
6666 Klever Feature New Normal User specific time and date format Evgeny Novikov Vladimir Gratinskiy Actions
6653 Klever Feature New Normal Specify component names as corresponding process names Evgeny Novikov Evgeny Novikov Actions
6652 Klever Feature New Normal JSON with comments Evgeny Novikov Actions
6651 Klever Feature New Normal Proper and useful logs Evgeny Novikov Evgeny Novikov Actions
6650 Klever Feature New Normal Paths to files and directories Evgeny Novikov Evgeny Novikov Actions
6644 Klever Feature New Normal Debug CIF just when debugging Evgeny Novikov Actions
(1301-1350/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF