Actions
Task #6282
closedfinish AstSmvVisitor & CfgAstVisitor merge
Start date:
09/18/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
0.2.1
Description
Finish merge of AstSmvVisitor & CfgAstVisitor classes (and related, if needed) from 'hierarchical-efsm' branch to trunk.
Updated by Mikhail Lebedev over 9 years ago
- Status changed from New to Resolved
Use trunk versions of AstSmvVisitor & CfgAstVisitor (and related) classes. Branch versions are very old - everything changed since that time.
Updated by Sergey Smolov about 9 years ago
- Status changed from Resolved to Verified
- % Done changed from 0 to 100
ok
Updated by Sergey Smolov almost 9 years ago
- Status changed from Verified to Closed
- Published in build set to 0.2.1
Actions