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

2013-03-26	Morgan Deters	java input stream adapters working	blob \| commitdiff \| raw
2012-11-17	Morgan Deters	* enable previously-failing (now succeeding) datatype...	blob \| commitdiff \| raw \| diff to current
2012-11-17	Morgan Deters	* Fix for bug 445 agreed to in meeting 11/13/2012:...	blob \| commitdiff \| raw \| diff to current
2012-11-12	Morgan Deters	* Fix language bindings: various issues	blob \| commitdiff \| raw \| diff to current
2012-11-09	Morgan Deters	Bug-fix for a crash involving improperly-thrown excepti...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Morgan Deters	Bug-related:	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert...	blob \| commitdiff \| raw \| diff to current
2012-09-24	Morgan Deters	Fix the memout issue seen in recent nightly regressions...	blob \| commitdiff \| raw \| diff to current
2012-09-20	Morgan Deters	map C++ exceptions to Java exceptions correctly when...	blob \| commitdiff \| raw \| diff to current
2012-08-20	Morgan Deters	fixes for java bindings	blob \| commitdiff \| raw \| diff to current
2012-08-08	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-08-07	Morgan Deters	Some items from the CVC4 public interface review:	blob \| commitdiff \| raw \| diff to current
2012-08-06	Morgan Deters	Support setting :regular-output-channel and :diagnostic...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current
2012-05-19	Tim King	- The array type rules were fixed to use isSubtypeOf.	blob \| commitdiff \| raw \| diff to current
2011-11-22	Morgan Deters	More language bindings work:	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-05	Morgan Deters	remove some debugging code that slowed down last night...	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-23	Morgan Deters	interface cleanup, java bindings work	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-21	Morgan Deters	considerable bindings interface work, some improvements...	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

RSS Atom