Age | Commit message (Expand) | Author |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-08 | Adding a new Listener utility class. Changing the ResourceManager to use List... | Tim King |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2016-01-06 | Fixing a SWIG ordering issue between bitvector and integer. | Tim King |
2016-01-05 | Moving sexpr.{cpp,h,i} from expr/ back into util/. | Tim King |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-24 | Miscellaneous fixes | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-12-03 | Fix UnsatCore in language bindings. | Morgan Deters |
2014-12-03 | Floating point infrastructure. | Martin Brain |
2014-11-17 | Resource-limiting work. | Liana Hadarean |
2014-06-26 | Remove leftover debugging output. | Morgan Deters |
2014-06-26 | Minor language bindings fixes. | Morgan Deters |
2014-06-19 | Java bindings fixes. | Morgan Deters |
2014-05-21 | Safer swig-wrapping for unsigned long long in Java, which will throw an excep... | Morgan Deters |
2014-04-10 | setType -> setOfType, resolves bug 556 | Morgan Deters |
2014-03-07 | Fixing a SWIG problem for RationalFromDoubleException. | Tim King |
2013-12-24 | Java datatype API fixups, datatype API examples | Morgan Deters |
2013-12-04 | More Java bindings fixes | Morgan Deters |
2013-11-27 | Java bindings improvements for CASCADE, minor cleanup. | Morgan Deters |
2013-11-26 | Fix C++-to-Java exception translation. | Morgan Deters |
2013-07-13 | Fix language bindings and portfolio builds. | Morgan Deters |
2013-05-16 | minor changes to language bindings | Morgan Deters |
2013-03-27 | some Java bindings fixes (fixes Debian build problems) | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-25 | java input stream adapters working | Morgan Deters |
2012-11-17 | * enable previously-failing (now succeeding) datatype example that uses records | Morgan 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 issues | Morgan Deters |
2012-11-09 | Bug-fix for a crash involving improperly-thrown exceptions; also, add LogicEx... | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-09-24 | Fix the memout issue seen in recent nightly regressions (was due to a | Morgan Deters |
2012-09-20 | map C++ exceptions to Java exceptions correctly when they are thrown, and giv... | Morgan Deters |
2012-08-20 | fixes for java bindings | Morgan Deters |
2012-08-08 | Public interface review items: | Morgan Deters |
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-05-19 | - The array type rules were fixed to use isSubtypeOf. | Tim King |
2011-11-22 | More language bindings work: | Morgan Deters |
2011-11-15 | Bindings work (ocaml bindings are now sort of working); also minor cleanup | Morgan Deters |
2011-10-05 | remove some debugging code that slowed down last night's regressions | Morgan Deters |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
2011-09-23 | interface cleanup, java bindings work | Morgan Deters |
2011-09-21 | Java binding now working. Some interface types still need some work (e.g. it... | Morgan Deters |
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters |
2011-09-20 | Merge from "swig" branch: language binding for Java is compiling and linking.... | Morgan Deters |