Project

General

Profile

Task #5464

[solver] boolean expressions casting into bit vectors

Added by Sergey Smolov almost 6 years ago. Updated almost 6 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

History

#1

Updated by Sergey Smolov almost 6 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.

#2

Updated by Sergey Smolov almost 6 years ago

  • Priority changed from Normal to High
#3

Updated by Andrei Tatarnikov almost 6 years ago

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

Done in r722.

#4

Updated by Sergey Smolov almost 6 years ago

  • Status changed from Resolved to Verified
#5

Updated by Andrei Tatarnikov almost 6 years ago

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

Also available in: Atom PDF