diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-12 18:32:42 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-12 18:32:42 +0000 |
commit | 706e3058a2a685a6849b2290f80167b74aded0be (patch) | |
tree | 407c4b40a8f74adfee045f1a6cf6c578fbd960cd /.cproject | |
parent | 0659b7c7b50e49cbea1728f90f7ff04598f01eac (diff) |
Changed bitvector theory rewriter so that equalities always get rewritten to
equalities or true or false
Diffstat (limited to '.cproject')
0 files changed, 0 insertions, 0 deletions