https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2015-09-18T09:18:21Z
Open-Source Projects
Retrascope - Task #6282: finish AstSmvVisitor & CfgAstVisitor merge
https://forge.ispras.ru/issues/6282?journal_id=24365
2015-09-18T09:18:21Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Normal</i> to <i>High</i></li></ul>
Retrascope - Task #6282: finish AstSmvVisitor & CfgAstVisitor merge
https://forge.ispras.ru/issues/6282?journal_id=24366
2015-09-21T10:13:53Z
Mikhail Lebedev
lebedev@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Use trunk versions of AstSmvVisitor & CfgAstVisitor (and related) classes. Branch versions are very old - everything changed since that time.</p>
Retrascope - Task #6282: finish AstSmvVisitor & CfgAstVisitor merge
https://forge.ispras.ru/issues/6282?journal_id=24400
2015-09-28T10:27:51Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>ok</p>
Retrascope - Task #6282: finish AstSmvVisitor & CfgAstVisitor merge
https://forge.ispras.ru/issues/6282?journal_id=25716
2016-03-11T13:19:02Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Verified</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>0.2.1</i></li></ul>