https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692015-10-16T10:43:30ZOpen-Source ProjectsMicroTESK - Task #6313: Support for shifts and bitwise operations in MMU specshttps://forge.ispras.ru/issues/6313?journal_id=245652015-10-16T10:43:30ZAndrei Tatarnikovandrewt@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>50</i></li></ul><p>r5391 - support for shifts by a constant amount. Support for operations in symbolic representation:</p>
<ol>
<li>StandardOperation.BVZEROEXT</li>
<li>StandardOperation.BVLSHL</li>
<li>StandardOperation.BVASHL</li>
<li>StandardOperation.BVLSHR</li>
</ol>
<p>Unit tests: r5404, r5405, r5406, r5407</p> MicroTESK - Task #6313: Support for shifts and bitwise operations in MMU specshttps://forge.ispras.ru/issues/6313?journal_id=245852015-10-20T08:21:21ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>% Done</strong> changed from <i>50</i> to <i>90</i></li></ul><p>Support for bitmasks using BVAND and BVOR (+ unit tests): r5408 and r5409</p> MicroTESK - Task #6313: Support for shifts and bitwise operations in MMU specshttps://forge.ispras.ru/issues/6313?journal_id=245912015-10-20T10:47:56ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>% Done</strong> changed from <i>90</i> to <i>80</i></li></ul><p>r5410 - Bug fixes + more unit tests.</p>
<p>Need to support constructs like this: (x << 5) >> 7. Unit tests for these facilities: r5411.</p>
<p>r5412, r5413, r5414, r5416 - ExprTransformer: improvements in newField, test now pass successfully</p> MicroTESK - Task #6313: Support for shifts and bitwise operations in MMU specshttps://forge.ispras.ru/issues/6313?journal_id=245992015-10-20T14:12:59ZAndrei Tatarnikovandrewt@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>Supported. Need to use the feature in specifications to check whether it works fine.</p> MicroTESK - Task #6313: Support for shifts and bitwise operations in MMU specshttps://forge.ispras.ru/issues/6313?journal_id=246222015-10-26T07:18:27ZAndrei Tatarnikovandrewt@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>2.3.7</i></li></ul>