projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix eXecutable bit on a script
[cvc5.git] / src / compat /
2012-06-22 François BobotTPTP: add parser for cnf and fof tree | commitdiff
2012-05-15 Tim KingThis commit removes the CONST_INTEGER kind from nodes... tree | commitdiff
2012-03-07 Morgan Detersfix some Java compatibility-layer interface problems... tree | commitdiff
2012-03-01 Morgan DetersPartial merge from kind-backend branch, including Minis... tree | commitdiff
2012-01-27 Morgan Deterseffecting the same change in the compat Java binding... tree | commitdiff
2011-11-16 Morgan DetersAddressed many of the concerns raised in the public... tree | commitdiff
2011-11-06 Morgan Detersdatatype stuff in compatibility interface implemented tree | commitdiff
2011-10-04 Morgan Deterscompatibility, bindings tree | commitdiff
2011-10-04 Morgan Deterscompat layer cleanup tree | commitdiff
2011-10-04 Morgan Detersmimicking Chris's recent contribution to QueryResult... tree | commitdiff
2011-10-03 Morgan DetersImporting Chris's recent changes to CVC3's ValidityChec... tree | commitdiff
2011-09-30 Morgan Detersinterfaces fixes and cleanups...and examples of each... tree | commitdiff
2011-09-29 Morgan Deterscompatibility work, documentation tree | commitdiff
2011-09-27 Morgan Detersmore interface work; adding legacy C interface tree | commitdiff
2011-09-21 Morgan Detersconsiderable bindings interface work, some improvements... tree | commitdiff
2011-09-16 Morgan Deterssome minor fixes to the cvc3 compatibility library... tree | commitdiff
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff