https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2015-10-06T14:40:26Z
Open-Source Projects
Retrascope - Task #6061: EFSM-based transition assertion generator
https://forge.ispras.ru/issues/6061?journal_id=24472
2015-10-06T14:40:26Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>30</i></li></ul><p>Add assertion representation to r2403</p>
Retrascope - Task #6061: EFSM-based transition assertion generator
https://forge.ispras.ru/issues/6061?journal_id=24476
2015-10-07T08:03:58Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>% Done</strong> changed from <i>30</i> to <i>60</i></li></ul><p>Add efsm-based transition assertion generator engine (r2407).</p>
Retrascope - Task #6061: EFSM-based transition assertion generator
https://forge.ispras.ru/issues/6061?journal_id=24621
2015-10-25T18:08:03Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>% Done</strong> changed from <i>60</i> to <i>80</i></li></ul><p>Add SMV printer stub (everything exception printing) for assertion entity in r2357.</p>
Retrascope - Task #6061: EFSM-based transition assertion generator
https://forge.ispras.ru/issues/6061?journal_id=24723
2015-11-09T14:26:43Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>80</i> to <i>100</i></li></ul><p>The rest of the functionality is moved to HlddSmvPrinter.</p>
Retrascope - Task #6061: EFSM-based transition assertion generator
https://forge.ispras.ru/issues/6061?journal_id=25665
2016-03-11T13:02:45Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>0.2.1</i></li></ul>
Retrascope - Task #6061: EFSM-based transition assertion generator
https://forge.ispras.ru/issues/6061?journal_id=31508
2017-09-12T12:45:20Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>2.0</i> to <i>1.0</i></li></ul>