https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692015-03-03T12:11:01ZOpen-Source ProjectsMicroTESK - Task #5678: Support for named branches in ISA specificationshttps://forge.ispras.ru/issues/5678?journal_id=221062015-03-03T12:11:01ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>% Done</strong> changed from <i>0</i> to <i>20</i></li></ul><p>Support in the translator was implemented in r3227. This is a sketch implementation which is a subject to review in the future.</p>
<p>NOTE: we decided to mark branches of execution with the "mark" keyword instead of "branch":</p>
<code>
mark("MarkName");
</code> MicroTESK - Task #5678: Support for named branches in ISA specificationshttps://forge.ispras.ru/issues/5678?journal_id=222112015-03-12T05:26:06ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Subject</strong> changed from <i>[translator][coverage] Support for named branches in ISA specifications</i> to <i>Support for named branches in ISA specifications</i></li><li><strong>Category</strong> set to <i>nML Translator</i></li><li><strong>Target version</strong> set to <i>2.1</i></li></ul><p>The issue also relates to Specification Translator and Coverage Extractor.</p> MicroTESK - Task #5678: Support for named branches in ISA specificationshttps://forge.ispras.ru/issues/5678?journal_id=224482015-03-24T12:26:10ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>20</i> to <i>100</i></li></ul><p>Done. Example:</p>
<p><a class="external" href="http://forge.ispras.ru/projects/microtesk/repository/changes/trunk/microtesk/src/main/arch/minimips/templates/coverage.rb">http://forge.ispras.ru/projects/microtesk/repository/changes/trunk/microtesk/src/main/arch/minimips/templates/coverage.rb</a></p> MicroTESK - Task #5678: Support for named branches in ISA specificationshttps://forge.ispras.ru/issues/5678?journal_id=224622015-03-24T15:14:35ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Published in build</strong> set to <i>150324</i></li></ul> MicroTESK - Task #5678: Support for named branches in ISA specificationshttps://forge.ispras.ru/issues/5678?journal_id=224652015-03-24T15:16:33ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul>