Project

General

Profile

Actions
Summary

Issues

Filters

Apply Clear

# Tracker Status Priority Subject Author Assignee Target version
10988 Task New Normal lowercase debug messages Sergey Smolov Sergey Smolov Actions
10133 Task New Normal use '-coi' model checker option Sergey Smolov Mikhail Lebedev 1.1 Actions
10104 Bug Open Normal Wiki documentation errata Nikita Chertok Sergey Smolov 1.1 Actions
10082 Bug New Normal WARNING: Illegal reflective access by org.python.core.PySystemState Sergey Smolov Sergey Smolov 1.1 Actions
10058 Task New Normal User documentation Sergey Smolov Sergey Smolov 1.2 Actions
9488 Task New Normal CFG-GADD transformer backend that makes assignments index and range-free Sergey Smolov Sergey Smolov 1.2 Actions
9247 Feature Open High CFG-to-C printer Sergey Smolov Sergey Smolov 1.2 Actions
6449 Task New Low testbench generator taking test sequences and mappings as inputs Sergey Smolov Sergey Smolov 2.0 Actions
6448 Task New Low mapping description language + IR + parser Sergey Smolov Sergey Smolov 2.0 Actions
6446 Task New Normal Promela translator to CFG representation (no buffers) Sergey Smolov Mikhail Lebedev 2.0 Actions
5504 Task New Normal add channels between EFSMs Sergey Smolov Mikhail Lebedev 1.2 Actions
5150 Task New Normal Обработка функций - реализация макроподстановок Alexander Kamkin Sergey Smolov 1.2 Actions
5027 Task New Normal Абстракция EFSM-моделей Alexander Kamkin Sergey Smolov 2.0 Actions
4962 Task New Normal Реализация утилиты Veritool с помощью средств Retrascope Alexander Kamkin Alexander Kamkin 2.0 Actions
4892 Task New Low Анализ набора блок-схем на взаимные блокировки Alexander Kamkin Mikhail Lebedev 2.0 Actions
4891 Task New Low Реализация генератора тестов по набору блок-схем Alexander Kamkin Alexander Kamkin 2.0 Actions
4890 Task New Low Разработка и реализация метода RTL-в-TLM абстракции блок-схем Alexander Kamkin Alexander Kamkin 2.0 Actions
4889 Task New Low Генерация заготовки эталонной модели по набору блок-схем (flowchart) Alexander Kamkin Sergey Smolov 2.0 Actions
4888 Task New Low Генератор заготовки тестовой системы по ее описанию Alexander Kamkin Sergey Smolov 2.0 Actions
4887 Task New Low Разработка внутреннего представления тестовой системы Alexander Kamkin Sergey Smolov 2.0 Actions
4882 Task New Low Разработка принтеров блок-схем в графические форматы Alexander Kamkin Alexander Protsenko 2.0 Actions
4881 Task New Low Реализация алгоритма построения блок-схем по внутреннему представлению Alexander Kamkin Sergey Smolov 2.0 Actions
4880 Task New Low Проектирование внутреннего представления для блок-схем Alexander Kamkin Sergey Smolov 2.0 Actions
4521 Task New Low Входной класс для генератора тестовой последовательности Sergey Smolov Sergey Smolov 2.0 Actions
4363 Task New Low Критерий кластеризации входных сигналов, основанный на GA Sergey Smolov Sergey Smolov 2.0 Actions
4057 Feature New Low Механизм поиска взаимных блокировок Igor Melnichenko Mikhail Lebedev 2.0 Actions
    (1-26/26)

    Also available in: Atom CSV PDF