Task #5026
closed
[cfg][transformer][efsm] Создание примеров EFSM-моделей
Added by Alexander Kamkin almost 10 years ago.
Updated over 9 years ago.
Description
Расширить множество примеров EFSM-моделей (сейчас это множество состоит из B04) двумя-тремя примерами из ITC'99.
Пакет с примерами: ru.ispras.retrascope.engine.cfg.transformer.efsm.examples
- Due date set to 07/18/2014
- Assignee changed from Igor Melnichenko to Mikhail Lebedev
- Status changed from New to Feedback
Насколько мне известно, был реализован ещё B13. Может, закончим на этом?
Целесообразнее сосредоточить усилия на отладке имеющегося cgaa-efsm-transformer.
Большие дизайны с кучей ветвлений строить вручную нереально, а маленькие, как я понимаю, cgaa-efsm-transformer строит более-менее нормально. Возможно, какие-то конкретные примеры когда-нибудь и понадобится строить вручную. Сейчас я тоже за отладку cgaa-efsm-transformer.
Михаил, тогда, думаю, можно поставить этой задаче статус Resolved:-)
- Status changed from Feedback to Resolved
- Status changed from Resolved to Closed
Also available in: Atom
PDF