cvc5.git
2014-01-26 Andrew ReynoldsMore optimization of QCF. Fixed InstMatchTrie for...
2014-01-25 Tianyi Liangreplace charat uf with internal one
2014-01-25 Tianyi Liangminor fix, indexof rewriter opt
2014-01-24 Tianyi Liangfix: indexof, replace rewriting
2014-01-24 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-01-24 Tianyi Liangrev diseq
2014-01-24 Tianyi Liangrev const split
2014-01-24 Tianyi Liangoptimize for the reverse direction
2014-01-24 Tianyi Liangrev diseq
2014-01-24 Tianyi Liangrev const split
2014-01-24 Andrew ReynoldsSimplify the QCF algorithm by more aggressive flattenin...
2014-01-24 Tianyi Liangoptimize for the reverse direction
2014-01-23 Tianyi Liangfix: constants are inferred to be the same
2014-01-23 Tianyi Liangminor fix
2014-01-22 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2014-01-22 Morgan DetersSome minor fixes to SmtEngine strings settings.
2014-01-22 Tianyi Liangcommented out all_supported in strings for now, it...
2014-01-22 Tianyi Liangsolve string exp issue for regexp
2014-01-22 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-01-22 Tianyi Liangadd warning for using strings in ALL_SUPPORTED
2014-01-22 Tianyi LiangSmarter options, but still have a bug
2014-01-22 Morgan DetersDelay QuantifiersEngine and UF strong solver initializa...
2014-01-21 Tianyi LiangSmarter options, but still have a bug
2014-01-21 Tianyi Liangimprove string contains
2014-01-20 Tianyi Liangimprove string contains
2014-01-18 Andrew ReynoldsFixed non-termination issue in bounded integers.
2014-01-18 Andrew ReynoldsPerformance optimization for E-matching, working on...
2014-01-18 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-01-18 Tianyi Liangstrings with new ideas
2014-01-18 Morgan DetersMerge branch '1.3.x'
2014-01-18 Morgan DetersFix for quote-escaping in smt2 printer
2014-01-17 Tianyi Liangstrings with new ideas
2014-01-17 Andrew ReynoldsMore optimizations for quantifiers conflict find. ...
2014-01-17 Kshitij BansalMerge branch '1.3.x'
2014-01-17 Kshitij Bansalenable search for html doc
2014-01-16 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-01-16 Tianyi Liangadds partial functions
2014-01-15 Tianyi Liangadds smt2 print for strings
2014-01-15 Tianyi Liangadds smt2 print for strings
2014-01-15 Andrew ReynoldsOptimizations for quantifiers conflict find: better...
2014-01-10 Tianyi Liangnormal form breaking
2014-01-10 Tianyi Liangadd repalce
2014-01-10 Andrew ReynoldsAdd stats to quantifiers conflict find. Added option...
2014-01-10 Andrew ReynoldsAdd new method --quant-cf for finding conflicts eagerly...
2014-01-10 Tianyi Liangmove new functions under exp options
2014-01-09 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-01-09 Tianyi Liangadd constant replace, indexof
2014-01-09 Tianyi Liangadd constant replace, indexof
2014-01-09 Morgan DetersMerge branch '1.3.x'
2014-01-09 Morgan Detersgmp is again default, not cln, for build ID (reverting...
2014-01-09 Tianyi LiangAnother way to handle negative contain
2014-01-08 Morgan DetersMerge branch '1.3.x'
2014-01-08 Morgan DetersSwitch license default back to BSD, and add --best...
2014-01-08 Morgan DetersCache apt packages on Travis.
2014-01-08 Tianyi Liangclean some code
2014-01-08 Morgan DetersFix LogicInfo parsing for string logics
2014-01-08 Morgan DetersFix LogicInfo parsing for string logics
2014-01-08 Tianyi Liangremove a warning in strings
2014-01-08 Tianyi Liangminor fix, bring back the assertion.
2014-01-08 Tianyi Liangstring contain changes
2014-01-04 Andrew ReynoldsRemoving and consolidating options for uf-ss and quanti...
2014-01-03 Andrew ReynoldsAdded support for proof production in Equality Engine...
2014-01-02 Morgan DetersMerge branch '1.3.x'
2014-01-02 Morgan DetersUpdate copyright year.
2013-12-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-12-27 Tianyi Liangminor fix
2013-12-27 Tianyi Liangminor fix
2013-12-27 Morgan DetersMerge branch '1.3.x'
2013-12-27 Morgan DetersFix for ANTLR warning.
2013-12-26 Tianyi Liangnew functions in strings
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-12-25 Morgan Detersfix for some nightly build failures
2013-12-24 Morgan DetersCleanup related to output language fix.
2013-12-24 Morgan DetersMerge branch '1.3.x'
2013-12-24 Morgan DetersBetter automatic handling of output language setting.
2013-12-24 Morgan DetersBetter get-value parse error message for common user...
2013-12-24 Morgan DetersMinor code cleanup.
2013-12-24 Morgan DetersMerge branch '1.3.x'
2013-12-24 Morgan DetersJava datatype API fixups, datatype API examples
2013-12-23 Morgan Deterscln now default w.r.t. build ID string
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing...
2013-12-22 Morgan DetersMerge branch '1.3.x'
2013-12-22 Morgan DetersFix to interactive mode determination.
2013-12-22 Morgan DetersFix option specification.
2013-12-19 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-12-18 Morgan DetersMerge branch '1.3.x'
2013-12-18 Morgan DetersFix an autoconf issue with CLN in some configurations...
2013-12-18 Morgan DetersMerge branch '1.3.x'
2013-12-18 Morgan DetersFix configure handling for CLN (should fix win32 nightl...
2013-12-18 Morgan DetersMerge branch '1.3.x'
2013-12-18 Morgan DetersReduce autoconf version for dependence (should fix...
2013-12-18 Morgan DetersAdd missing regression-results directory.
2013-12-18 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-12-17 Morgan DetersMerge branch '1.3.x'
2013-12-17 Morgan Detersconfigure --with-portfolio disables CLN.
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-12-17 Morgan DetersMerge branch '1.3.x'
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives...
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into...
2013-12-16 Morgan DetersMerge branch '1.3.x'
next