summaryrefslogtreecommitdiff
path: root/src/cvc4.i
AgeCommit message (Expand)Author
2012-11-17* enable previously-failing (now succeeding) datatype example that uses recordsMorgan Deters
2012-11-17* Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT...Morgan Deters
2012-11-12* Fix language bindings: various issuesMorgan Deters
2012-11-09Bug-fix for a crash involving improperly-thrown exceptions; also, add LogicEx...Morgan Deters
2012-10-05Bug-related:Morgan Deters
2012-09-28rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...Morgan Deters
2012-09-24Fix the memout issue seen in recent nightly regressions (was due to aMorgan Deters
2012-09-20map C++ exceptions to Java exceptions correctly when they are thrown, and giv...Morgan Deters
2012-08-20fixes for java bindingsMorgan Deters
2012-08-08Public interface review items:Morgan Deters
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-05-19- The array type rules were fixed to use isSubtypeOf.Tim King
2011-11-22More language bindings work:Morgan Deters
2011-11-15Bindings work (ocaml bindings are now sort of working); also minor cleanupMorgan Deters
2011-10-05remove some debugging code that slowed down last night's regressionsMorgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-23interface cleanup, java bindings workMorgan Deters
2011-09-21Java binding now working. Some interface types still need some work (e.g. it...Morgan Deters
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback