diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2014-10-29 21:31:12 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2014-10-29 21:32:27 -0700 |
commit | b4d9a5bb41d4c5cf8a89de980089981d90b0cc9c (patch) | |
tree | 87b11643d0f1f7269f3112ea56a1cdd38fde55bb /THANKS | |
parent | db982d9329981683c8d791aadba7e97fa98b0bd3 (diff) |
Added new, much faster, care graph computation for arrays
Force split on true first in combineTheories
Fix bugs in getModelValue in bit-vectors
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions