diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-11 14:00:27 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-11 14:00:27 +0000 |
| commit | 57790a14676596e8c6ed42ff7ecd8038ddbaf09b (patch) | |
| tree | 7e4d5c81f197beab924092fb72cc945d48a47e69 /.gitignore | |
| parent | 5181426cd8def23d67b69227fff033ef12850e68 (diff) | |
Added some ITE rewrites,
Added ITE simplifier - on by default only for QF_LIA benchmarks
Fixed one bug in arrays
Added negate() to node.h - it returns kind == NOT ? kind[0] : kind.notNode()
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions