Age | Commit message (Expand) | Author |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-04 | More Java bindings fixes | Morgan Deters |
2013-12-03 | Some fixes for swig warnings. | Morgan Deters |
2013-12-03 | Work around a swig segfault issue when building on Mac OS | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-27 | Java bindings improvements for CASCADE, minor cleanup. | Morgan Deters |
2013-11-25 | Substantial Changes: | Tim King |
2013-11-14 | Datatype::getCardinality() caching | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-10-23 | bug fix | Tianyi Liang |
2013-10-21 | remove nested re or; opt loop | Tianyi Liang |
2013-10-20 | adds regular expression range | Tianyi Liang |
2013-10-11 | add constant membership | Tianyi Liang |
2013-10-11 | adds native regexp. | Tianyi Liang |
2013-10-08 | Optimizations for datatypes theory. There seems to be a bug in trans_closure... | Andrew Reynolds |
2013-10-03 | Added support for converting unsorted problems to multi-sorted problems via s... | Andrew Reynolds |
2013-09-30 | Bug fixes and improvements for symmetry breaking, it now supports multiple so... | Andrew Reynolds |
2013-09-27 | Merge branch 'master' of github.com:tiliang/CVC4 | Morgan Deters |
2013-09-27 | Add new symmetry breaking technique for finite model finding. Improvements t... | Andrew Reynolds |
2013-09-27 | adds model generation for strings, and a hacked way in arith engine for models | Tianyi Liang |
2013-09-18 | Support for bv2nat/int2bv in parser and BV rewriter. | Morgan Deters |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-09-09 | Support empty (and 1-ary) tuples and records. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-07-13 | Remove now-unused language bindings interface file. | Morgan Deters |
2013-07-13 | Fix language bindings and portfolio builds. | Morgan Deters |
2013-07-12 | Fix for curious GCC 4.8 translation with -O. | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-07-06 | Model output is now const; this related to bug 519 | Morgan Deters |
2013-06-27 | Remove output.h from public space, to avoid clashes with symbols defined in u... | Morgan Deters |
2013-06-27 | Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_public.h so that they don'... | Morgan Deters |
2013-06-24 | Add files missing from last commit | Morgan Deters |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
2013-06-24 | Add options for symmetry breaking in uf+ss totality axiom approach, option fo... | Andrew Reynolds |
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ć |