Age | Commit message (Expand) | Author |
2020-05-27 | Add the Expr-level sequence datatype (#4526) | Andrew Reynolds |
2020-03-31 | Remove replay and use-theory options and idl (#4186) | Andrew Reynolds |
2020-03-30 | Support indexed operators re.loop and re.^ (#4167) | Andrew Reynolds |
2020-03-27 | Move string utility file (#4164) | Andrew Reynolds |
2020-02-20 | Remove unused code (#3782) | Andres Noetzli |
2020-02-20 | Remove parser from bindings (#3779) | Andres Noetzli |
2020-02-19 | resource manager: Add statistic for every resource. (#3772) | Mathias Preiner |
2020-02-12 | [Python] Properly destroy CVC4 object (#3753) | Andres Noetzli |
2020-02-12 | Rename Java package to edu.stanford.CVC4 (#3752) | Andres Noetzli |
2019-10-10 | Make order of theories explicit in the source code. (#3379) | Aina Niemetz |
2019-06-21 | Add floating-point support in the Java API (#3063) | Andres Noetzli |
2018-08-07 | Require Swig 3 (#2283) | Andres Noetzli |
2018-01-07 | Removes RationalFromDoubleException. Replaces this with an explicit M… (#1476) | Tim King |
2018-01-04 | Removing miscellaneous throw specifiers. (#1474) | Tim King |
2017-10-26 | Adds a macro to SWIG to ignore the override and final C++11 keywords in older... | Tim King |
2017-10-25 | Use uintptr_t for pointer casts in Swig files (#1278) | Andres Noetzli |
2017-08-17 | Remove unused SubrangeBound(s) classes (#221) | Andres Noetzli |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-12 | Fix .i files from last commit. | ajreynol |
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 |