diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-10-14 18:26:42 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-10-14 18:26:42 +0000 |
| commit | bfdb4be24bfa474e6036a993e5afac16e77b4d2a (patch) | |
| tree | 8fef3c3f29fa082ba1c3421a7de88555f49ff1d9 /test/regress | |
| parent | 1e9fcef592fa5c841e1430446659c8d33fdcc3e2 (diff) | |
Fixed computation of infinitesimals for arithmetic model generation.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions