Project

General

Profile

1.2

open

SVA support, simple CFG-to-C printer, documentation

16%

6 issues   (1 closed — 5 open)

Issues by
Feature

1/2
Task

0/4
Related issues
Feature #9247: CFG-to-C printer Actions
Feature #10060: Support SVA properties in CFG model Actions
Task #5150: Обработка функций - реализация макроподстановок Actions
Task #5504: add channels between EFSMs Actions
Task #9488: CFG-GADD transformer backend that makes assignments index and range-free Actions
Task #10058: User documentation Actions