projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #74 from finnhaedicke/namespace_minisat
[cvc5.git]
/
config
/
bindings.m4
2013-09-30
Liana Hadarean
merged golden
blob
|
commitdiff
|
raw
2013-05-22
Andrew Reynolds
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
2013-05-20
Morgan Deters
minor changes to language bindings
blob
|
commitdiff
|
raw
2013-05-16
Morgan Deters
minor changes to language bindings
blob
|
commitdiff
|
raw
2013-03-27
lianah
Merge branch 'master' into bv-core
blob
|
commitdiff
|
raw
|
diff to current
2013-03-26
Morgan Deters
Fixes for warnings from clang++, from -std=gnu++0x...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Morgan Deters
give warning at configure-time about unsupported langua...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Morgan Deters
* Some documentation about building compatibility and...
blob
|
commitdiff
|
raw
|
diff to current
2012-02-03
Dejan Jovanović
updating configure to use python-config for building...
blob
|
commitdiff
|
raw
|
diff to current
2011-11-16
Morgan Deters
Fix "make dist". Fixes to python and ruby bindings...
blob
|
commitdiff
|
raw
|
diff to current
2011-11-16
Morgan Deters
* Applying Andy's fix for datatypes bug #286; thanks...
blob
|
commitdiff
|
raw
|
diff to current
2011-11-15
Morgan Deters
Bindings work (ocaml bindings are now sort of working...
blob
|
commitdiff
|
raw
|
diff to current
2011-10-06
Morgan Deters
don't build language bindings unless expressly requeste...
blob
|
commitdiff
|
raw
|
diff to current
2011-10-03
Morgan Deters
user push/pop support in minisat and simplification...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-27
Morgan Deters
more interface work; adding legacy C interface
blob
|
commitdiff
|
raw
|
diff to current
2011-09-21
Morgan Deters
Java binding now working. Some interface types still...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-20
Morgan Deters
Merge from "swig" branch: language binding for Java...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-02
Morgan Deters
Merge from my post-smtcomp branch. Includes:
blob
|
commitdiff
|
raw
|
diff to current