diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
| commit | 67c6e89c904f76a268f9297b7589559a262583e0 (patch) | |
| tree | 931766422986af03259c2c3c75221fb61be523e9 /README | |
| parent | 9a0a59d5c85c4a1d2469f43e9d2b433e156810ba (diff) | |
Last commit accidentally lacked r2778 and r2779 from integer2. I have manually brought these changes over. Changed the tests used by test/regress/regress0/arith/integers/Makefile.am to be 15 of the more interesting tests. Did a bit of cleanup on TheoryArith to eliminate a warning and remove dead code.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions