Task #6313
closed
- 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
- % Done changed from 50 to 90
Support for bitmasks using BVAND and BVOR (+ unit tests): r5408 and r5409
- % 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
- 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.
- Status changed from Resolved to Closed
- Published in build set to 2.3.7
Also available in: Atom
PDF