projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2013-12-24 Morgan DetersMinor code cleanup. commit | commitdiff | tree
2013-12-23 Morgan Deterscln now default w.r.t. build ID string 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-18 Morgan DetersFix an autoconf issue with CLN in some configurations... commit | commitdiff | tree
2013-12-18 Morgan DetersFix configure handling for CLN (should fix win32 nightl... commit | commitdiff | tree
2013-12-18 Morgan DetersAdd missing regression-results directory. commit | commitdiff | tree
2013-12-17 Morgan Detersconfigure --with-portfolio disables CLN. commit | commitdiff | tree
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... commit | commitdiff | tree
2013-12-16 Morgan DetersSend Travis-CI emails to everyone commit | commitdiff | tree
2013-12-16 Morgan DetersFix for bug 544. commit | commitdiff | tree
2013-12-14 Morgan DetersAnother fix for clang. 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 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 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 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-10 Morgan DetersRemove "NodeValue width" output commit | commitdiff | tree
2013-12-09 Morgan DetersGLPK build identifier, license warnings. commit | commitdiff | tree
2013-12-09 Kshitij Bansalmv prp to regress1 commit | commitdiff | tree
2013-12-07 Kshitij Bansalfix bug 542 commit | commitdiff | tree
2013-12-06 Morgan DetersInitializing 1.3.x branch. commit | commitdiff | tree
2013-12-06 Morgan DetersCutting release 1.3. commit | commitdiff | tree
2013-12-06 Tianyi Liangdisable substring in default mode commit | commitdiff | tree
2013-12-06 Morgan DetersFix NodeValue bitfields for 32-bit; fix comment. commit | commitdiff | tree
2013-12-05 Morgan DetersMinor cleanup. commit | commitdiff | tree
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... commit | commitdiff | tree
2013-12-05 Morgan DetersFixes related to parametric datatype printing. commit | commitdiff | tree
2013-12-05 Morgan DetersFix Boolean terms w.r.t. parametric datatypes (e.g... commit | commitdiff | tree
2013-12-05 Morgan DetersScript fixes; when determining authorship of source... commit | commitdiff | tree
2013-12-05 Morgan DetersFix NEWS. commit | commitdiff | tree
2013-12-05 Morgan DetersNEWS reorganization. commit | commitdiff | tree
2013-12-04 Morgan DetersRemove a regression for which the portfolio takes forev... commit | commitdiff | tree
2013-12-04 Morgan DetersMinor cleanup. commit | commitdiff | tree
2013-12-04 Morgan DetersPartial kind branch merge, including new --rewrite... commit | commitdiff | tree
2013-12-04 Morgan DetersDon't put define-funs in model output; bug 411 testcase... commit | commitdiff | tree
2013-12-04 Morgan DetersUpdated acknowledgments. commit | commitdiff | tree
2013-12-04 Morgan DetersMore Java bindings fixes commit | commitdiff | tree
2013-12-04 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2013-12-04 Tianyi Liangadds LB strategy commit | commitdiff | tree
2013-12-04 Tianyi Liangadds LB strategy commit | commitdiff | tree
2013-12-04 Morgan DetersSome fixes for swig warnings. commit | commitdiff | tree
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2013-12-03 Tianyi LiangLast version for undelayed LB commit | commitdiff | tree
2013-12-03 Tianyi LiangLast version for undelayed LB commit | commitdiff | tree
2013-12-03 Morgan DetersWork around a swig segfault issue when building on... commit | commitdiff | tree
2013-12-03 Tianyi Liangchange string news commit | commitdiff | tree
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2013-12-03 Tianyi Liangstring fmf perfomance fix commit | commitdiff | tree
2013-12-03 Tianyi Liangstring fmf changes commit | commitdiff | tree
2013-12-03 Tianyi Liangstring fmf perfomance fix commit | commitdiff | tree
2013-12-03 Kshitij Bansalrm ChangeLog (use NEWS) commit | commitdiff | tree
2013-12-03 Morgan DetersSExpr pretty-printing for :all-options and :all-statistics. commit | commitdiff | tree
2013-12-03 Morgan DetersMinor cleanup. commit | commitdiff | tree
2013-12-03 Morgan DetersAdd test case for (previously resolved) bug 528. commit | commitdiff | tree
2013-12-03 Morgan DetersSupport for parametric datatype subtyping, so that... commit | commitdiff | tree
2013-12-03 lianahfixed rewriter bug where postRewrite was not caching... commit | commitdiff | tree
2013-12-02 Morgan DetersAnother fix to Java destruction order issues. Thanks... commit | commitdiff | tree
2013-12-02 Morgan DetersUpdate NEWS file. commit | commitdiff | tree
2013-11-29 Morgan DetersFix proofs build. commit | commitdiff | tree
2013-11-29 Morgan DetersFix portfolio compile error. commit | commitdiff | tree
2013-11-27 Morgan DetersIgnore config/compile file, which newer autotools create commit | commitdiff | tree
2013-11-27 Morgan DetersFix for compile error when using gcc 4.7 with -std... commit | commitdiff | tree
2013-11-27 Morgan DetersGeneral pre-release cleanup commit commit | commitdiff | tree
2013-11-27 Morgan DetersJava bindings improvements for CASCADE, minor cleanup. commit | commitdiff | tree
2013-11-27 Morgan DetersAdd missing template instanatiation in Java bindings commit | commitdiff | tree
2013-11-27 Morgan DetersSome versioning in advance of the 1.3 release. commit | commitdiff | tree
2013-11-27 Morgan DetersIncremental is now on by default when using from API... commit | commitdiff | tree
2013-11-27 Andrew ReynoldsBug fix for E-matching select terms, minor fix for... commit | commitdiff | tree
2013-11-26 Morgan DetersFix a segfault in the printer infrastructure when calle... commit | commitdiff | tree
2013-11-26 Morgan DetersFix C++-to-Java exception translation. commit | commitdiff | tree
2013-11-26 Morgan DetersFix Java output stream adapter. commit | commitdiff | tree
2013-11-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2013-11-26 Tianyi Liangstring fmf changes commit | commitdiff | tree
2013-11-26 Morgan DetersFix Java destruction order issue; thanks to Zheng Manch... commit | commitdiff | tree
2013-11-26 Morgan DetersMinor fix for swig bindings. commit | commitdiff | tree
2013-11-25 Tim KingMerge remote-tracking branch 'CVC4root/master' commit | commitdiff | tree
2013-11-25 Tim KingSubstantial Changes: commit | commitdiff | tree
2013-11-25 Clark BarrettArray collectModelInfo fix for Andy commit | commitdiff | tree
2013-11-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2013-11-21 Tianyi Liangstring fmf changes commit | commitdiff | tree
2013-11-21 Tianyi Liangstring fmf changes commit | commitdiff | tree
2013-11-21 Tim KingAdding the changes needed to delete rewriter attributes... commit | commitdiff | tree
2013-11-20 Tim KingChanging the number of bits allocated per field in... commit | commitdiff | tree
2013-11-19 Andrew ReynoldsBug fix for previous commit commit | commitdiff | tree
2013-11-19 Andrew ReynoldsAdd fair strategy for finite model finding multiple... commit | commitdiff | tree
2013-11-14 Morgan DetersMinor fixes for Mac OS Mavericks commit | commitdiff | tree
2013-11-14 Morgan DetersAllow empty record literals (fixing an oversight in... commit | commitdiff | tree
2013-11-14 Morgan DetersSome patches to CVC3 compatibility layer tests; Thanks... commit | commitdiff | tree
2013-11-14 Morgan DetersDatatype::getCardinality() caching commit | commitdiff | tree
2013-11-13 Morgan DetersAdd virtual destructors where missing commit | commitdiff | tree
2013-11-13 Morgan DetersSome patches to CVC3 compatibility layer; Thanks to... commit | commitdiff | tree
2013-11-13 Morgan DetersAnother build fix; the dust should be settled now. commit | commitdiff | tree
2013-11-12 Morgan DetersMinor portfolio fixes for some platforms. commit | commitdiff | tree
2013-11-12 Morgan DetersSome additional explanation for a common configure... commit | commitdiff | tree
next