Actions
Task #6313
closedSupport for shifts and bitwise operations in MMU specs
Start date:
10/06/2015
Due date:
10/16/2015
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
2.3.7
Description
Constant shift values and constant masks.
Updated by Andrei Tatarnikov almost 9 years ago
- Status changed from New to Open
- % Done changed from 0 to 50
r5391 - support for shifts by a constant amount. Support for operations in symbolic representation:
- StandardOperation.BVZEROEXT
- StandardOperation.BVLSHL
- StandardOperation.BVASHL
- StandardOperation.BVLSHR
Unit tests: r5404, r5405, r5406, r5407
Updated by Andrei Tatarnikov almost 9 years ago
- % Done changed from 50 to 90
Support for bitmasks using BVAND and BVOR (+ unit tests): r5408 and r5409
Updated by Andrei Tatarnikov almost 9 years ago
- % Done changed from 90 to 80
r5410 - Bug fixes + more unit tests.
Need to support constructs like this: (x << 5) >> 7. Unit tests for these facilities: r5411.
r5412, r5413, r5414, r5416 - ExprTransformer: improvements in newField, test now pass successfully
Updated by Andrei Tatarnikov almost 9 years ago
- Status changed from Open to Resolved
- % Done changed from 80 to 100
Supported. Need to use the feature in specifications to check whether it works fine.
Updated by Andrei Tatarnikov almost 9 years ago
- Status changed from Resolved to Closed
- Published in build set to 2.3.7
Actions