summaryrefslogtreecommitdiff
path: root/src/cvc4.i
AgeCommit message (Expand)Author
2018-01-07Removes RationalFromDoubleException. Replaces this with an explicit M… (#1476)Tim King
2018-01-04Removing miscellaneous throw specifiers. (#1474)Tim King
2017-10-26Adds a macro to SWIG to ignore the override and final C++11 keywords in older...Tim King
2017-10-25Use uintptr_t for pointer casts in Swig files (#1278)Andres Noetzli
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-12Fix .i files from last commit.ajreynol
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2016-01-06Fixing a SWIG ordering issue between bitvector and integer.Tim King
2016-01-05Moving sexpr.{cpp,h,i} from expr/ back into util/.Tim King
2016-01-05Add SmtGlobals ClassTim King
2015-12-24Miscellaneous fixesTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-12-03Fix UnsatCore in language bindings.Morgan Deters
2014-12-03Floating point infrastructure.Martin Brain
2014-11-17Resource-limiting work.Liana Hadarean
2014-06-26Remove leftover debugging output.Morgan Deters
2014-06-26Minor language bindings fixes.Morgan Deters
2014-06-19Java bindings fixes.Morgan Deters
2014-05-21Safer swig-wrapping for unsigned long long in Java, which will throw an excep...Morgan Deters
2014-04-10setType -> setOfType, resolves bug 556Morgan Deters
2014-03-07Fixing a SWIG problem for RationalFromDoubleException.Tim King
2013-12-24Java datatype API fixups, datatype API examplesMorgan Deters
2013-12-04More Java bindings fixesMorgan Deters
2013-11-27Java bindings improvements for CASCADE, minor cleanup.Morgan Deters
2013-11-26Fix C++-to-Java exception translation.Morgan Deters
2013-07-13Fix language bindings and portfolio builds.Morgan Deters
2013-05-16minor changes to language bindingsMorgan Deters
2013-03-27some Java bindings fixes (fixes Debian build problems)Morgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-25java input stream adapters workingMorgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback