cvc5.git
2014-03-11 Morgan DetersFix some Win32 and SMT-LIB compliance bugs discovered...
2014-02-21 Morgan DetersNo diamond-breaking under quantifiers (resolves bug...
2014-02-21 Morgan DetersFix two variants of Node::substitute().
2014-02-19 Tim KingStopping non-linear terms from entering the dio solver...
2014-01-27 Morgan DetersURL update
2014-01-18 Morgan DetersFix for quote-escaping in smt2 printer
2014-01-17 Kshitij Bansalenable search for html doc
2014-01-09 Morgan Detersgmp is again default, not cln, for build ID (reverting...
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 Morgan DetersFix LogicInfo parsing for string logics
2014-01-02 Morgan DetersUpdate copyright year.
2013-12-27 Morgan DetersFix for ANTLR warning.
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-23 Morgan Deterscln now default w.r.t. build ID string
2013-12-22 Morgan DetersFix to interactive mode determination.
2013-12-22 Morgan DetersFix option specification.
2013-12-18 Morgan DetersFix an autoconf issue with CLN in some configurations...
2013-12-18 Morgan DetersFix configure handling for CLN (should fix win32 nightl...
2013-12-18 Morgan DetersAdd missing regression-results directory.
2013-12-17 Morgan Detersconfigure --with-portfolio disables CLN.
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives...
2013-12-16 Morgan DetersSend Travis-CI emails to everyone
2013-12-16 Morgan DetersFix for bug 544.
2013-12-14 Morgan DetersAnother fix for clang.
2013-12-14 Morgan DetersFix stack size on in-tree regressions.
2013-12-13 Morgan Deterscleanup
2013-12-13 Morgan DetersFix link error when using clang.
2013-12-13 Morgan DetersFix to Travis-CI config.
2013-12-13 Morgan DetersTravis-CI configuration.
2013-12-13 Morgan DetersSome minor cleanup.
2013-12-11 Morgan DetersUpdate NEWS.
2013-12-11 Morgan DetersFix timer statistics to report correct time even on...
2013-12-11 Morgan DetersWhitespace.
2013-12-11 Morgan DetersFix warning.
2013-12-10 Morgan DetersRemove "NodeValue width" output
2013-12-09 Morgan DetersGLPK build identifier, license warnings.
2013-12-09 Kshitij Bansalmv prp to regress1
2013-12-07 Kshitij Bansalfix bug 542
2013-12-06 Morgan DetersInitializing 1.3.x branch.
2013-12-06 Morgan DetersCutting release 1.3.
2013-12-06 Tianyi Liangdisable substring in default mode
2013-12-06 Morgan DetersFix NodeValue bitfields for 32-bit; fix comment.
2013-12-05 Morgan DetersMinor cleanup.
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation...
2013-12-05 Morgan DetersFixes related to parametric datatype printing.
2013-12-05 Morgan DetersFix Boolean terms w.r.t. parametric datatypes (e.g...
2013-12-05 Morgan DetersScript fixes; when determining authorship of source...
2013-12-05 Morgan DetersFix NEWS.
2013-12-05 Morgan DetersNEWS reorganization.
2013-12-04 Morgan DetersRemove a regression for which the portfolio takes forev...
2013-12-04 Morgan DetersMinor cleanup.
2013-12-04 Morgan DetersPartial kind branch merge, including new --rewrite...
2013-12-04 Morgan DetersDon't put define-funs in model output; bug 411 testcase...
2013-12-04 Morgan DetersUpdated acknowledgments.
2013-12-04 Morgan DetersMore Java bindings fixes
2013-12-04 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-12-04 Tianyi Liangadds LB strategy
2013-12-04 Tianyi Liangadds LB strategy
2013-12-04 Morgan DetersSome fixes for swig warnings.
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-12-03 Tianyi LiangLast version for undelayed LB
2013-12-03 Tianyi LiangLast version for undelayed LB
2013-12-03 Morgan DetersWork around a swig segfault issue when building on...
2013-12-03 Tianyi Liangchange string news
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-12-03 Tianyi Liangstring fmf perfomance fix
2013-12-03 Tianyi Liangstring fmf changes
2013-12-03 Tianyi Liangstring fmf perfomance fix
2013-12-03 Kshitij Bansalrm ChangeLog (use NEWS)
2013-12-03 Morgan DetersSExpr pretty-printing for :all-options and :all-statistics.
2013-12-03 Morgan DetersMinor cleanup.
2013-12-03 Morgan DetersAdd test case for (previously resolved) bug 528.
2013-12-03 Morgan DetersSupport for parametric datatype subtyping, so that...
2013-12-03 lianahfixed rewriter bug where postRewrite was not caching...
2013-12-02 Morgan DetersAnother fix to Java destruction order issues. Thanks...
2013-12-02 Morgan DetersUpdate NEWS file.
2013-11-29 Morgan DetersFix proofs build.
2013-11-29 Morgan DetersFix portfolio compile error.
2013-11-27 Morgan DetersIgnore config/compile file, which newer autotools create
2013-11-27 Morgan DetersFix for compile error when using gcc 4.7 with -std...
2013-11-27 Morgan DetersGeneral pre-release cleanup commit
2013-11-27 Morgan DetersJava bindings improvements for CASCADE, minor cleanup.
2013-11-27 Morgan DetersAdd missing template instanatiation in Java bindings
2013-11-27 Morgan DetersSome versioning in advance of the 1.3 release.
2013-11-27 Morgan DetersIncremental is now on by default when using from API...
2013-11-27 Andrew ReynoldsBug fix for E-matching select terms, minor fix for...
2013-11-26 Morgan DetersFix a segfault in the printer infrastructure when calle...
2013-11-26 Morgan DetersFix C++-to-Java exception translation.
2013-11-26 Morgan DetersFix Java output stream adapter.
2013-11-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-11-26 Tianyi Liangstring fmf changes
2013-11-26 Morgan DetersFix Java destruction order issue; thanks to Zheng Manch...
2013-11-26 Morgan DetersMinor fix for swig bindings.
2013-11-25 Tim KingMerge remote-tracking branch 'CVC4root/master'
2013-11-25 Tim KingSubstantial Changes:
2013-11-25 Clark BarrettArray collectModelInfo fix for Andy
2013-11-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
next