2018-08-08 |
Andres Noetzli | Require Swig 3 (#2283) |
blob | commitdiff | raw |
2018-01-08 |
Tim King | Removes RationalFromDoubleException. Replaces this... |
blob | commitdiff | raw | diff to current |
2018-01-04 |
Tim King | Removing miscellaneous throw specifiers. (#1474) |
blob | commitdiff | raw | diff to current |
2017-10-27 |
Tim King | Adds a macro to SWIG to ignore the override and final... |
blob | commitdiff | raw | diff to current |
2017-10-26 |
Andres Noetzli | Use uintptr_t for pointer casts in Swig files (#1278) |
blob | commitdiff | raw | diff to current |
2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
blob | commitdiff | raw | diff to current |
2017-08-17 |
Andres Noetzli | Remove unused SubrangeBound(s) classes (#221) |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
blob | commitdiff | raw | diff to current |
2017-07-13 |
Aina Niemetz | Merge pull request #188 from aniemetz/cx11 |
blob | commitdiff | raw | diff to current |
2017-07-12 |
ajreynol | Fix .i files from last commit. |
blob | commitdiff | raw | diff to current |
2016-02-02 |
Tim King | Moving dump.*, command.*, model.*, and ite_removal... |
blob | commitdiff | raw | diff to current |
2016-01-28 |
Tim King | Adding listeners to Options. |
blob | commitdiff | raw | diff to current |
2016-01-09 |
Tim King | Adding a new Listener utility class. Changing the Resou... |
blob | commitdiff | raw | diff to current |
2016-01-09 |
Tim King | Removing StatisticsRegistry's static functions current... |
blob | commitdiff | raw | diff to current |
2016-01-06 |
Tim King | Fixing a SWIG ordering issue between bitvector and... |
blob | commitdiff | raw | diff to current |
2016-01-06 |
Tim King | Moving sexpr.{cpp,h,i} from expr/ back into util/. |
blob | commitdiff | raw | diff to current |
2016-01-06 |
Tim King | Add SmtGlobals Class |
blob | commitdiff | raw | diff to current |
2015-12-24 |
Tim King | Miscellaneous fixes |
blob | commitdiff | raw | diff to current |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
blob | commitdiff | raw | diff to current |
2014-12-04 |
Morgan Deters | Fix UnsatCore in language bindings. |
blob | commitdiff | raw | diff to current |
2014-12-04 |
Martin Brain | Floating point infrastructure. |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-11-17 |
Liana Hadarean | Resource-limiting work. |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Merge pull request #44 from mdeters/prio-queue-updates |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Merge pull request #45 from mdeters/turn-off-strings-exp |
blob | commitdiff | raw | diff to current |
2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Remove leftover debugging output. |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Minor language bindings fixes. |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
blob | commitdiff | raw | diff to current |
2014-06-19 |
Morgan Deters | Java bindings fixes. |
blob | commitdiff | raw | diff to current |
2014-06-18 |
Morgan Deters | Java bindings fixes. |
blob | commitdiff | raw | diff to current |
2014-05-21 |
Morgan Deters | Safer swig-wrapping for unsigned long long in Java... |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-11 |
Morgan Deters | setType -> setOfType, resolves bug 556 |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-03-08 |
Tim King | Merge pull request #18 from timothy-king/master |
blob | commitdiff | raw | diff to current |
2014-03-08 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
blob | commitdiff | raw | diff to current |
2014-03-08 |
Tim King | Fixing a SWIG problem for RationalFromDoubleException. |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Java datatype API fixups, datatype API examples |
blob | commitdiff | raw | diff to current |
2013-12-04 |
Morgan Deters | More Java bindings fixes |
blob | commitdiff | raw | diff to current |
2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-27 |
Morgan Deters | Java bindings improvements for CASCADE, minor cleanup. |
blob | commitdiff | raw | diff to current |
2013-11-26 |
Morgan Deters | Fix C++-to-Java exception translation. |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-07-13 |
Morgan Deters | Fix language bindings and portfolio builds. |
blob | commitdiff | raw | diff to current |
2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | minor changes to language bindings |
blob | commitdiff | raw | diff to current |
2013-05-16 |
Morgan Deters | minor changes to language bindings |
blob | commitdiff | raw | diff to current |
2013-03-29 |
Dejan Jovanović | Merge branch 'master' of github.com:CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-03-28 |
Morgan Deters | some Java bindings fixes (fixes Debian build problems) |
blob | commitdiff | raw | diff to current |
2013-03-27 |
lianah | Merge branch 'master' into bv-core |
blob | commitdiff | raw | diff to current |
2013-03-27 |
lianah | added model generation for bv subtheories and bv-inequa... |
blob | commitdiff | raw | diff to current |
2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x... |
blob | commitdiff | raw | diff to current |
2013-03-26 |
Dejan Jovanović | Merge branch 'master' of git@github.com:CVC4/CVC4.git |
blob | commitdiff | raw | diff to current |
2013-03-26 |
Morgan Deters | java input stream adapters working |
blob | commitdiff | raw | diff to current |
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 |
|