projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2014-01-20 Tianyi Liangimprove string contains commit | commitdiff | tree
2014-01-18 Andrew ReynoldsFixed non-termination issue in bounded integers. commit | commitdiff | tree
2014-01-18 Andrew ReynoldsPerformance optimization for E-matching, working on... commit | commitdiff | tree
2014-01-18 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-01-18 Tianyi Liangstrings with new ideas commit | commitdiff | tree
2014-01-18 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2014-01-18 Morgan DetersFix for quote-escaping in smt2 printer commit | commitdiff | tree
2014-01-17 Tianyi Liangstrings with new ideas commit | commitdiff | tree
2014-01-17 Andrew ReynoldsMore optimizations for quantifiers conflict find. ... commit | commitdiff | tree
2014-01-17 Kshitij BansalMerge branch '1.3.x' commit | commitdiff | tree
2014-01-17 Kshitij Bansalenable search for html doc commit | commitdiff | tree
2014-01-16 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-01-16 Tianyi Liangadds partial functions commit | commitdiff | tree
2014-01-15 Tianyi Liangadds smt2 print for strings commit | commitdiff | tree
2014-01-15 Tianyi Liangadds smt2 print for strings commit | commitdiff | tree
2014-01-15 Andrew ReynoldsOptimizations for quantifiers conflict find: better... commit | commitdiff | tree
2014-01-10 Tianyi Liangnormal form breaking commit | commitdiff | tree
2014-01-10 Tianyi Liangadd repalce commit | commitdiff | tree
2014-01-10 Andrew ReynoldsAdd stats to quantifiers conflict find. Added option... commit | commitdiff | tree
2014-01-10 Andrew ReynoldsAdd new method --quant-cf for finding conflicts eagerly... commit | commitdiff | tree
2014-01-10 Tianyi Liangmove new functions under exp options commit | commitdiff | tree
2014-01-09 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-01-09 Tianyi Liangadd constant replace, indexof commit | commitdiff | tree
2014-01-09 Tianyi Liangadd constant replace, indexof commit | commitdiff | tree
2014-01-09 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2014-01-09 Morgan Detersgmp is again default, not cln, for build ID (reverting... commit | commitdiff | tree
2014-01-09 Tianyi LiangAnother way to handle negative contain commit | commitdiff | tree
2014-01-08 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2014-01-08 Morgan DetersSwitch license default back to BSD, and add --best... commit | commitdiff | tree
2014-01-08 Morgan DetersCache apt packages on Travis. commit | commitdiff | tree
2014-01-08 Tianyi Liangclean some code commit | commitdiff | tree
2014-01-08 Morgan DetersFix LogicInfo parsing for string logics commit | commitdiff | tree
2014-01-08 Morgan DetersFix LogicInfo parsing for string logics commit | commitdiff | tree
2014-01-08 Tianyi Liangremove a warning in strings commit | commitdiff | tree
2014-01-08 Tianyi Liangminor fix, bring back the assertion. commit | commitdiff | tree
2014-01-08 Tianyi Liangstring contain changes commit | commitdiff | tree
2014-01-04 Andrew ReynoldsRemoving and consolidating options for uf-ss and quanti... commit | commitdiff | tree
2014-01-03 Andrew ReynoldsAdded support for proof production in Equality Engine... commit | commitdiff | tree
2014-01-02 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2014-01-02 Morgan DetersUpdate copyright year. commit | commitdiff | tree
2013-12-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2013-12-27 Tianyi Liangminor fix commit | commitdiff | tree
2013-12-27 Tianyi Liangminor fix commit | commitdiff | tree
2013-12-27 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-27 Morgan DetersFix for ANTLR warning. commit | commitdiff | tree
2013-12-26 Tianyi Liangnew functions in strings commit | commitdiff | tree
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2013-12-25 Morgan Detersfix for some nightly build failures commit | commitdiff | tree
2013-12-24 Morgan DetersCleanup related to output language fix. commit | commitdiff | tree
2013-12-24 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-24 Morgan DetersBetter automatic handling of output language setting. commit | commitdiff | tree
2013-12-24 Morgan DetersBetter get-value parse error message for common user... commit | commitdiff | tree
2013-12-24 Morgan DetersMinor code cleanup. commit | commitdiff | tree
2013-12-24 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-24 Morgan DetersJava datatype API fixups, datatype API examples commit | commitdiff | tree
2013-12-23 Morgan Deterscln now default w.r.t. build ID string commit | commitdiff | tree
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... commit | commitdiff | tree
2013-12-22 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-22 Morgan DetersFix to interactive mode determination. commit | commitdiff | tree
2013-12-22 Morgan DetersFix option specification. commit | commitdiff | tree
2013-12-19 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2013-12-18 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-18 Morgan DetersFix an autoconf issue with CLN in some configurations... commit | commitdiff | tree
2013-12-18 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-18 Morgan DetersFix configure handling for CLN (should fix win32 nightl... commit | commitdiff | tree
2013-12-18 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-18 Morgan DetersReduce autoconf version for dependence (should fix... commit | commitdiff | tree
2013-12-18 Morgan DetersAdd missing regression-results directory. commit | commitdiff | tree
2013-12-18 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2013-12-17 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-17 Morgan Detersconfigure --with-portfolio disables CLN. commit | commitdiff | tree
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2013-12-17 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... commit | commitdiff | tree
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... commit | commitdiff | tree
2013-12-16 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-16 Morgan DetersSend Travis-CI emails to everyone commit | commitdiff | tree
2013-12-16 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-16 Morgan DetersFix for bug 544. commit | commitdiff | tree
2013-12-15 Tianyi Liangresolve merge issue. commit | commitdiff | tree
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2013-12-14 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-14 Morgan DetersAnother fix for clang. commit | commitdiff | tree
2013-12-14 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-14 Morgan DetersFix stack size on in-tree regressions. commit | commitdiff | tree
2013-12-13 Morgan Deterscleanup commit | commitdiff | tree
2013-12-13 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-13 Morgan DetersFix link error when using clang. commit | commitdiff | tree
2013-12-13 Morgan DetersFix to Travis-CI config. commit | commitdiff | tree
2013-12-13 Morgan DetersFix to Travis-CI config. commit | commitdiff | tree
2013-12-13 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-13 Morgan DetersTravis-CI configuration. commit | commitdiff | tree
2013-12-13 Morgan DetersSome minor cleanup. commit | commitdiff | tree
2013-12-11 Morgan DetersUpdate NEWS. commit | commitdiff | tree
2013-12-11 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2013-12-11 Morgan DetersFix timer statistics to report correct time even on... commit | commitdiff | tree
2013-12-11 Morgan DetersWhitespace. commit | commitdiff | tree
2013-12-11 Morgan DetersFix warning. commit | commitdiff | tree
2013-12-11 Morgan DetersRemove "NodeValue width" output commit | commitdiff | tree
2013-12-11 Morgan DetersGLPK build identifier, license warnings. commit | commitdiff | tree
next