cvc5.git
2014-02-19 Tim KingMerge branch '1.3.x'
2014-02-19 Tim KingStopping non-linear terms from entering the dio solver...
2014-02-14 Andrew ReynoldsMake QCF more incremental. Fix bug in QCF handling...
2014-02-14 Tianyi Liangpartial function charat
2014-02-14 Tianyi Liangfix expanding def
2014-02-12 Tianyi Liangbug fix for reverse check
2014-02-12 Tianyi Lianglexer fix: disable smt-lib conversion for string literals
2014-02-12 Tianyi Liangminor fix for recognizing the tail backslash, still...
2014-02-11 Tianyi Liangresolve merge conflicts
2014-02-11 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-11 Tianyi Liangescaped characters, having an issue with smt-lib defint...
2014-02-11 Tianyi Liangminor fix for merge
2014-02-11 Tianyi Liangminor cleanup for merge
2014-02-11 Tianyi Liangminor fix for merge
2014-02-11 Tianyi Liangescaped characters, having an issue with smt-lib defint...
2014-02-11 Morgan DetersFix build (some nonexistent files listed in Makefile)
2014-02-09 Andrew ReynoldsMore complete guess instantiation strategy, cvc4 now...
2014-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-06 Tianyi Liangminor cleanup for merge
2014-02-06 Tianyi Liangminor fix for merge
2014-02-06 Tianyi Liangminor cleanup for merge
2014-02-06 Morgan DetersMinor fix for previous commit
2014-02-06 Morgan DetersOops.. premature push on lexer fix (remove debugging...
2014-02-06 Morgan DetersFixes for escape-handling for string literals in SMT...
2014-02-05 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-02-05 Tianyi Liangminor fix for merge
2014-02-05 Tianyi Liangminor fix for merge
2014-02-05 Andrew ReynoldsBug fix for theory strings related to old cycle detecti...
2014-02-04 Andrew ReynoldsDo not use transitive closure module for cycle detectio...
2014-02-04 Andrew ReynoldsAdd variable ordering for QCF to accelerate matching...
2014-02-03 Andrew ReynoldsHandle nested (universal) quantifiers in QCF algorithm...
2014-01-31 Tianyi LiangSubstr fix: (= (str.substr "" 0 3) "xxx") should be...
2014-01-30 Andrew ReynoldsRefactor QCF slightly. Bug fix for relevant domain...
2014-01-30 Tianyi Liangstats for eq/diseq splits
2014-01-30 Tianyi Lianganother name change
2014-01-30 Tianyi Liangchange string stats text names
2014-01-30 Tianyi Liangadds stats
2014-01-29 Tianyi Liangroll back to uf implementation for substr and charat
2014-01-29 Tianyi Liangadd prefixof, suffixof
2014-01-28 Tianyi Liangmerge internal and user of charat & substr into one
2014-01-28 Andrew ReynoldsMore optimizations of quantifier instantiation data...
2014-01-27 Morgan DetersMerge branch '1.3.x'
2014-01-27 Morgan DetersURL update
2014-01-27 Andrew ReynoldsMore optimization of QCF and instantiation caching...
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
next