Age | Commit message (Expand) | Author |
2013-05-21 | Fix bug 512: an assertion failure only appearing with clang on Mac OS, due to... | Morgan Deters |
2013-04-26 | FCSimplex branch merge | Tim King |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-04-01 | Fix for iff terms over equalities between the same term and differing constants. | Tim King |
2013-03-27 | some Java bindings fixes (fixes Debian build problems) | Morgan Deters |
2013-03-27 | Merge branch 'master' into bv-core | lianah |
2013-03-26 | added model generation for bv subtheories and bv-inequality solver option | lianah |
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 |
2013-03-23 | Merge remote-tracking branch 'dddejan/c++11' | Dejan Jovanović |
2013-03-23 | changing string hash function to use the gnu namespace | Dejan Jovanović |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |
2013-03-22 | compiles with | Dejan Jovanović |
2013-03-21 | Merge branch 'master' into bv-core | lianah |
2013-03-20 | Better reporting of detached git state in --version and --show-config | Morgan Deters |
2013-03-19 | merged master with dejan's constant evaluating equality engine | Liana Hadarean |
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and referen... | Morgan Deters |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2013-03-13 | post failed attempts at getting the incremental solver to work | lianah |
2013-03-11 | ite removal option for quantifiers --ite-remove-quant, e-matching for boolean... | Andrew Reynolds |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2013-02-16 | Fix version identification for new git repository. | Morgan Deters |
2013-02-05 | dos2unix conversion for a number of files; this avoids spurious conflicts whe... | Morgan Deters |
2013-02-04 | fixed files with DOS newlines; fixed contrib/ scripts to use git | Morgan Deters |
2013-02-04 | Model no longer adds subterms of quantifiers to equality engine, this fixed b... | Andrew Reynolds |
2013-02-01 | merged master into branch | lianah |
2013-01-31 | Fix a small problem in clang builds due to namespaces and symbol lookup | Morgan Deters |
2013-01-28 | compiling implementation of new slicer finished; need to add debugging inform... | lianah |
2013-01-28 | Fixes for Win32 (closes bugs 488 and 489) | Morgan Deters |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2013-01-25 | Fix errors and reduce warnings on clang (merge from mdeters/clang) | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2013-01-10 | fixed most bugs and added paranoid assertions | lianah |
2012-12-14 | Merging in patch from branch '1.0.x'. | Tim King |
2012-12-14 | Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.x | Tim King |
2012-12-14 | Changing the rewriter to use Boute's Euclidean definition of division. | Tim King |
2012-12-12 | Merge pull request #2 from CVC4/1.0.x | Dejan Jovanović |
2012-12-12 | * fixed bug 481 by adding check for division by 0 in bit-vector division circuit | lianah |
2012-12-10 | ported my bv-core branch from svn to git | Liana Hadarean |
2012-12-06 | * some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues | Morgan Deters |
2012-12-06 | * some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues | Morgan Deters |
2012-12-05 | Improved garbage collection for TheoryArith. The merges all of the code over... | Tim King |
2012-12-01 | Fix for a CLN related bug on 32 bit systems. Integer((1<<29)+1) and Integer((... | Tim King |
2012-11-30 | Changes to SExpr to accept autoconversion from bool and const char*. Adding a... | Tim King |
2012-11-29 | fixes bug 438, incorporate subtypes into type unification when typechecking p... | Andrew Reynolds |
2012-11-27 | First chunk of boolean-terms support. | Morgan Deters |
2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |