summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-01-17Merge branch '1.3.x'Kshitij Bansal
2014-01-17enable search for html docKshitij Bansal
2014-01-16Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-01-16adds partial functionsTianyi Liang
2014-01-15adds smt2 print for stringsTianyi Liang
2014-01-15adds smt2 print for stringsTianyi Liang
2014-01-15Optimizations for quantifiers conflict find: better caching, process matching...Andrew Reynolds
2014-01-10normal form breakingTianyi Liang
2014-01-10add repalceTianyi Liang
2014-01-10Add stats to quantifiers conflict find. Added option for qcf. Working on ha...Andrew Reynolds
2014-01-10Add new method --quant-cf for finding conflicts eagerly for quantified formul...Andrew Reynolds
2014-01-09move new functions under exp optionsTianyi Liang
2014-01-09Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-01-09add constant replace, indexofTianyi Liang
2014-01-09add constant replace, indexofTianyi Liang
2014-01-09Merge branch '1.3.x'Morgan Deters
2014-01-09gmp is again default, not cln, for build ID (reverting due to license discuss...Morgan Deters
2014-01-09Another way to handle negative containTianyi Liang
2014-01-08Merge branch '1.3.x'Morgan Deters
2014-01-08Switch license default back to BSD, and add --best and --enable-gpl options.Morgan Deters
2014-01-08Cache apt packages on Travis.Morgan Deters
2014-01-08clean some codeTianyi Liang
2014-01-08Fix LogicInfo parsing for string logicsMorgan Deters
2014-01-08Fix LogicInfo parsing for string logicsMorgan Deters
2014-01-07remove a warning in stringsTianyi Liang
2014-01-07minor fix, bring back the assertion.Tianyi Liang
2014-01-07string contain changesTianyi Liang
2014-01-03Removing and consolidating options for uf-ss and quantifiers. Bug fix for in...Andrew Reynolds
2014-01-03Added support for proof production in Equality Engine. Cleaned up existing p...Andrew Reynolds
2014-01-02Merge branch '1.3.x'Morgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-12-27Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-12-27minor fixTianyi Liang
2013-12-27minor fixTianyi Liang
2013-12-27Merge branch '1.3.x'Morgan Deters
2013-12-27Fix for ANTLR warning.Morgan Deters
2013-12-26new functions in stringsTianyi Liang
2013-12-25Merge branch 'master' of https://github.com/CVC4/CVC4Tianyi Liang
2013-12-25fix for some nightly build failuresMorgan Deters
2013-12-24Cleanup related to output language fix.Morgan Deters
2013-12-24Merge branch '1.3.x'Morgan Deters
2013-12-24Better automatic handling of output language setting.Morgan Deters
2013-12-24Better get-value parse error message for common user error.Morgan Deters
2013-12-24Minor code cleanup.Morgan Deters
2013-12-24Merge branch '1.3.x'Morgan Deters
2013-12-24Java datatype API fixups, datatype API examplesMorgan Deters
2013-12-23cln now default w.r.t. build ID stringMorgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-22Merge branch '1.3.x'Morgan Deters
2013-12-22Fix to interactive mode determination.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback