diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-13 20:42:57 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-13 20:42:57 +0000 |
commit | 69c9ec0e1e42f3f2f2f79d3e98398c5cd1559c66 (patch) | |
tree | 4761dc1485594a7d26630b3eea7f305dde0e2766 /test/regress/regress0/flet2.smt | |
parent | 9462ccde8b06aae3b13e271465ab74b2e312a095 (diff) |
* fix for Mac OS (includes some ThreadLocal stuff copied in from portfolio
branch)
* add Theory::isSharedTermFact() -- it currently always returns false,
pending theory combination work
* Add "unknown" cardinalities to Cardinality class
* Fix run_regression script to handle CRLF line terminators on Macs
(where sed is non-GNU)
* Convert CRLF line terminators in datatypes regressions to LF
Diffstat (limited to 'test/regress/regress0/flet2.smt')
0 files changed, 0 insertions, 0 deletions