Actions
Task #5464
closed[solver] boolean expressions casting into bit vectors
Start date:
12/04/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
141226
Updated by Sergey Smolov almost 10 years ago
- Subject changed from [solver] boolean numbers casting into bit vectors to [solver] boolean expressions casting into bit vectors
- Assignee set to Andrei Tatarnikov
- Target version set to 0.3
At solver level it is needed to cast boolean expressions to bit vectors of size 1 only when operation code is "of bitvector-defined category", like BVAND, BVOR and so on.
Otherwise, do nothing.
Updated by Sergey Smolov almost 10 years ago
- Priority changed from Normal to High
Updated by Andrei Tatarnikov almost 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Done in r722.
Updated by Sergey Smolov almost 10 years ago
- Status changed from Resolved to Verified
Updated by Andrei Tatarnikov almost 10 years ago
- Status changed from Verified to Closed
- Published in build set to 141226
Actions