git.libre-soc.org Git - cvc5.git/history

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

RSS Atom