Project

General

Profile

Actions

Task #5464

closed

[solver] boolean expressions casting into bit vectors

Added by Sergey Smolov almost 10 years ago. Updated almost 10 years ago.

Status:
Closed
Priority:
High
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
Start date:
12/04/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:
141226
Actions #1

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.

Actions #2

Updated by Sergey Smolov almost 10 years ago

  • Priority changed from Normal to High
Actions #3

Updated by Andrei Tatarnikov almost 10 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Done in r722.

Actions #4

Updated by Sergey Smolov almost 10 years ago

  • Status changed from Resolved to Verified
Actions #5

Updated by Andrei Tatarnikov almost 10 years ago

  • Status changed from Verified to Closed
  • Published in build set to 141226
Actions

Also available in: Atom PDF