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
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
Last version for undelayed LB
Merge branch 'master' of github.com:tiliang/CVC4
Some fixes for swig warnings.