2014-03-08 |
Tim King | Merge pull request #18 from timothy-king/master |
tree | commitdiff |
2014-03-08 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
tree | commitdiff |
2014-03-07 |
Tim King | Merging a squash of the branch timothy-king/CVC4/glpkne... |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-18 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-17 |
Kshitij Bansal | enable search for html doc |
tree | commitdiff |
2014-01-09 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-09 |
Morgan Deters | gmp is again default, not cln, for build ID (reverting... |
tree | commitdiff |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-08 |
Morgan Deters | Switch license default back to BSD, and add --best... |
tree | commitdiff |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-23 |
Morgan Deters | cln now default w.r.t. build ID string |
tree | commitdiff |
2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
tree | commitdiff |
2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-17 |
Morgan Deters | some config changes: new --bsd option, readline gives... |
tree | commitdiff |
2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-12-11 |
Morgan Deters | GLPK build identifier, license warnings. |
tree | commitdiff |
2013-12-09 |
Morgan Deters | GLPK build identifier, license warnings. |
tree | commitdiff |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-14 |
Morgan Deters | Minor fixes for Mac OS Mavericks |
tree | commitdiff |
2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-11-11 |
Morgan Deters | Some fixes to build system with dependency-tracking... |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-09-18 |
Morgan Deters | Support a personal build configuration and make rules. |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
2013-07-29 |
Morgan Deters | Fix numerous compiler warnings on various platforms |
tree | commitdiff |
2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-05-20 |
Morgan Deters | configure fix for building with glpk on redhat, perhaps... |
tree | commitdiff |
2013-05-20 |
Morgan Deters | minor changes to language bindings |
tree | commitdiff |
2013-05-16 |
Morgan Deters | configure fix for building with glpk on redhat, perhaps... |
tree | commitdiff |
2013-05-16 |
Morgan Deters | minor changes to language bindings |
tree | commitdiff |
2013-04-30 |
lianah | fixed merge conflicts |
tree | commitdiff |
2013-04-26 |
Tim King | FCSimplex branch merge |
tree | commitdiff |
2013-03-27 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x... |
tree | commitdiff |
2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
2013-03-19 |
Morgan Deters | Remove PropositionalQuery class and all CUDD-related... |
tree | commitdiff |
2013-02-02 |
lianah | merged master into branch |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | update ANTLR URLs (antlr.org -> antlr3.org) |
tree | commitdiff |
2012-12-15 |
Tim King | Merge remote-tracking branch 'main-repo/1.0.x' into... |
tree | commitdiff |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
tree | commitdiff |
2012-12-08 |
Morgan Deters | Fix bug 476: when CxxTest is not found, make the error... |
tree | commitdiff |
2012-11-27 |
Morgan Deters | more mac fixes |
tree | commitdiff |
2012-11-27 |
Morgan Deters | fix for some Mac builds |
tree | commitdiff |
2012-11-27 |
Morgan Deters | give warning at configure-time about unsupported langua... |
tree | commitdiff |
2012-10-26 |
Morgan Deters | new boost.m4 makes boost-thread require boost-system... |
tree | commitdiff |
2012-10-24 |
Morgan Deters | Includes many fixes to build system for Solaris (thanks... |
tree | commitdiff |
2012-10-06 |
Morgan Deters | turn off cudd by default in configure script |
tree | commitdiff |
2012-10-06 |
Morgan Deters | * Clean up some options documentation |
tree | commitdiff |
2012-10-06 |
Morgan Deters | * Some documentation about building compatibility and... |
tree | commitdiff |
2012-09-21 |
Morgan Deters | SMT-LIBv2 compliance updates: |
tree | commitdiff |
2012-08-29 |
Morgan Deters | * Numerous documentation fixes (fix doxygen warnings... |
tree | commitdiff |
2012-08-28 |
Morgan Deters | fixes for Mac and automake 1.12 detection |
tree | commitdiff |
2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
tree | commitdiff |
2012-06-13 |
Morgan Deters | Don't use the "inlined" feature of ANTLR 3.2, which... |
tree | commitdiff |
2012-03-30 |
Dejan Jovanović | fixing some build systme warnings |
tree | commitdiff |
2012-02-22 |
Morgan Deters | fixes to configure and boost.m4 to make certain boost... |
tree | commitdiff |
2012-02-22 |
Morgan Deters | make sure to clear out READLINE_LIBS if readline causes... |
tree | commitdiff |
2012-02-20 |
Morgan Deters | portfolio merge |
tree | commitdiff |
2012-02-20 |
Morgan Deters | readline links in -ltermcap -ltinfo too (fixes breakage... |
tree | commitdiff |
2012-02-03 |
Dejan Jovanović | updating configure to use python-config for building... |
tree | commitdiff |
2011-11-16 |
Morgan Deters | Fix "make dist". Fixes to python and ruby bindings... |
tree | commitdiff |
2011-11-16 |
Morgan Deters | * Applying Andy's fix for datatypes bug #286; thanks... |
tree | commitdiff |
2011-11-15 |
Morgan Deters | Bindings work (ocaml bindings are now sort of working... |
tree | commitdiff |
2011-10-28 |
Liana Hadarean | merged the proofgen3 branch into trunk: |
tree | commitdiff |
2011-10-21 |
Morgan Deters | add gcc version information to Configuration, and warn... |
tree | commitdiff |
2011-10-19 |
Morgan Deters | fix bug #264: competition / other static library builds... |
tree | commitdiff |
2011-10-06 |
Morgan Deters | don't build language bindings unless expressly requeste... |
tree | commitdiff |
2011-10-04 |
Morgan Deters | oops, one more fix, hopefully the last |
tree | commitdiff |
2011-10-04 |
Morgan Deters | Yet Another Antlr3 Mod---this time, all my fault: for... |
tree | commitdiff |
2011-10-04 |
Morgan Deters | more fixes for libantlr3c v3.4 |
tree | commitdiff |
2011-10-04 |
Morgan Deters | support for configure-discovery of antlr3-3.4-beta4 |
tree | commitdiff |
2011-10-03 |
Morgan Deters | user push/pop support in minisat and simplification... |
tree | commitdiff |
2011-09-28 |
Morgan Deters | better fix for #281, also fix issue with command line... |
tree | commitdiff |
2011-09-27 |
Morgan Deters | more interface work; adding legacy C interface |
tree | commitdiff |
2011-09-21 |
Morgan Deters | Java binding now working. Some interface types still... |
tree | commitdiff |
2011-09-20 |
Morgan Deters | Merge from "swig" branch: language binding for Java... |
tree | commitdiff |
2011-09-16 |
Morgan Deters | final(?) documentation fixes |
tree | commitdiff |
2011-09-16 |
Morgan Deters | new, improved doxygen config file |
tree | commitdiff |
2011-09-16 |
Morgan Deters | fix debian build without breaking anything (i hope) |
tree | commitdiff |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
2011-05-23 |
Morgan Deters | fixes for "make dist" and "make doc", minor cleanups |
tree | commitdiff |
2011-05-02 |
Morgan Deters | fix for configure |
tree | commitdiff |
2011-05-02 |
Morgan Deters | more minor fixes related to last few commits |
tree | commitdiff |
2011-05-01 |
Morgan Deters | minor fixes, plus experimental readline support in... |
tree | commitdiff |
2011-04-10 |
Morgan Deters | merge from replay branch |
tree | commitdiff |
2011-04-04 |
Morgan Deters | Add documentation to Node and TNode (closes bug #201). |
tree | commitdiff |
2010-12-17 |
Morgan Deters | tls.h, rational.h, and integer.h are only re-generated... |
tree | commitdiff |
next |