projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix eXecutable bit on a script
[cvc5.git]
/
src
/
compat
/
2012-06-22
François Bobot
TPTP: add parser for cnf and fof
tree
|
commitdiff
2012-05-15
Tim King
This commit removes the CONST_INTEGER kind from nodes...
tree
|
commitdiff
2012-03-07
Morgan Deters
fix some Java compatibility-layer interface problems...
tree
|
commitdiff
2012-03-01
Morgan Deters
Partial merge from kind-backend branch, including Minis...
tree
|
commitdiff
2012-01-27
Morgan Deters
effecting the same change in the compat Java binding...
tree
|
commitdiff
2011-11-16
Morgan Deters
Addressed many of the concerns raised in the public...
tree
|
commitdiff
2011-11-06
Morgan Deters
datatype stuff in compatibility interface implemented
tree
|
commitdiff
2011-10-04
Morgan Deters
compatibility, bindings
tree
|
commitdiff
2011-10-04
Morgan Deters
compat layer cleanup
tree
|
commitdiff
2011-10-04
Morgan Deters
mimicking Chris's recent contribution to QueryResult...
tree
|
commitdiff
2011-10-03
Morgan Deters
Importing Chris's recent changes to CVC3's ValidityChec...
tree
|
commitdiff
2011-09-30
Morgan Deters
interfaces fixes and cleanups...and examples of each...
tree
|
commitdiff
2011-09-29
Morgan Deters
compatibility work, documentation
tree
|
commitdiff
2011-09-27
Morgan Deters
more interface work; adding legacy C interface
tree
|
commitdiff
2011-09-21
Morgan Deters
considerable bindings interface work, some improvements...
tree
|
commitdiff
2011-09-16
Morgan Deters
some minor fixes to the cvc3 compatibility library...
tree
|
commitdiff
2011-09-02
Morgan Deters
Merge from my post-smtcomp branch. Includes:
tree
|
commitdiff