string fmf changes
string fmf changes
Merge branch 'master' of github.com:tiliang/CVC4
string fmf changes
Merge branch 'master' of github.com:tiliang/CVC4
Update NEWS file.
Another fix to Java destruction order issues.  Thanks to Zheng Manchun for the report.
fixed rewriter bug where postRewrite was not caching properly
Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a subtype of (Pair Real Real).  Resolves bug #541.
Add test case for (previously resolved) bug 528.
Minor cleanup.
SExpr pretty-printing for :all-options and :all-statistics.
rm ChangeLog (use NEWS)
string fmf perfomance fix
string fmf changes
string fmf perfomance fix
Merge branch 'master' of github.com:tiliang/CVC4
change string news
Work around a swig segfault issue when building on  Mac OS
Last version for undelayed LB