https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692016-10-25T10:21:38ZOpen-Source ProjectsRetrascope - Task #6446: Promela translator to CFG representation (no buffers)https://forge.ispras.ru/issues/6446?journal_id=284922016-10-25T10:21:38ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Detected in build</strong> changed from <i>svn</i> to <i>master</i></li></ul> Retrascope - Task #6446: Promela translator to CFG representation (no buffers)https://forge.ispras.ru/issues/6446?journal_id=314872017-09-12T12:31:04ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>0.2</i> to <i>2.0</i></li></ul>