projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improved compatibility layer, now supports quantifiers. Also incorporates
[cvc5.git] / test / system / cvc3_main.cpp
2012-08-28 Morgan DetersImproved compatibility layer, now supports quantifiers... blob | commitdiff | raw
2011-10-04 Morgan Deterscompatibility, bindings blob | commitdiff | raw | diff to current
2011-10-04 Morgan Deterscompat layer cleanup blob | commitdiff | raw | diff to current
2011-09-16 Morgan Deterssome minor fixes to the cvc3 compatibility library... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current