Task #4829
closed
[cfg][transformer][cgaa] CFG: Assertion building
Added by Sergey Smolov over 10 years ago.
Updated over 10 years ago.
Description
Реализовать построение узла типа Assertion при построении CFG.
TODO указан в классе ru/ispras/retrascope/parser/vhdl/VHDLIGSequentialStatementParser.java
- Status changed from New to Open
Необходимо также как-то интерпретировать наличие Assertion в пути CFG при извлечении CGAA
- Subject changed from CFG: Assertion building to [basis] CFG: Assertion building
- Target version set to 0.1
- Subject changed from [basis] CFG: Assertion building to [cgaa][extractor] CFG: Assertion building
- Subject changed from [cgaa][extractor] CFG: Assertion building to [cfg][transformer][cgaa] CFG: Assertion building
- Status changed from Open to Resolved
Давно сделано, VHDL-парсер поправлен.
- Status changed from Resolved to Closed
Also available in: Atom
PDF