diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2012-04-20 23:30:08 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-04-20 23:30:08 +0000 |
commit | 04e81f6d12cad8f2519aa6c94adee52aadd71ec3 (patch) | |
tree | 60f35b29006f8e00fbbb3de1ca25797d510cc23d /src/util | |
parent | b0c2cebecbd6b7d2a7804cf5dcc92bb8a27b1857 (diff) |
Updates to array theory - much more lazy about introduction of reads
Also disabled eager lemmas - slows down QF_AX but gets new examples in QF_AUFBV
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions