projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of github.com:tiliang/CVC4
[cvc5.git] / src /
2013-12-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-12-27 Tianyi Liangminor fix tree | commitdiff
2013-12-27 Tianyi Liangminor fix tree | commitdiff
2013-12-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-27 Morgan DetersFix for ANTLR warning. tree | commitdiff
2013-12-26 Tianyi Liangnew functions in strings tree | commitdiff
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-25 Morgan Detersfix for some nightly build failures tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-24 Morgan DetersBetter automatic handling of output language setting. tree | commitdiff
2013-12-24 Morgan DetersBetter get-value parse error message for common user... tree | commitdiff
2013-12-24 Morgan DetersMinor code cleanup. tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-24 Morgan DetersJava datatype API fixups, datatype API examples tree | commitdiff
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... tree | commitdiff
2013-12-22 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-22 Morgan DetersFix to interactive mode determination. tree | commitdiff
2013-12-22 Morgan DetersFix option specification. tree | commitdiff
2013-12-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-17 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-17 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... tree | commitdiff
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... tree | commitdiff
2013-12-16 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-16 Morgan DetersFix for bug 544. tree | commitdiff
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-12-13 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-13 Morgan DetersFix link error when using clang. tree | commitdiff
2013-12-11 Morgan DetersFix timer statistics to report correct time even on... tree | commitdiff
2013-12-11 Morgan DetersWhitespace. tree | commitdiff
2013-12-11 Morgan DetersFix warning. tree | commitdiff
2013-12-11 Morgan DetersRemove "NodeValue width" output tree | commitdiff
2013-12-11 Morgan DetersFix timer statistics to report correct time even on... tree | commitdiff
2013-12-11 Morgan DetersWhitespace. tree | commitdiff
2013-12-11 Morgan DetersFix warning. tree | commitdiff
2013-12-10 Morgan DetersRemove "NodeValue width" output tree | commitdiff
2013-12-09 Kshitij Bansalfix bug 542 tree | commitdiff
2013-12-07 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2013-12-07 Kshitij Bansalfix bug 542 tree | commitdiff
2013-12-06 Tianyi Liangdisable substring in default mode tree | commitdiff
2013-12-06 Morgan DetersFix NodeValue bitfields for 32-bit; fix comment. tree | commitdiff
2013-12-05 Morgan DetersMinor cleanup. tree | commitdiff
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... tree | commitdiff
2013-12-05 Morgan DetersFixes related to parametric datatype printing. tree | commitdiff
2013-12-05 Morgan DetersFix Boolean terms w.r.t. parametric datatypes (e.g... tree | commitdiff
2013-12-04 Morgan DetersMinor cleanup. tree | commitdiff
2013-12-04 Morgan DetersPartial kind branch merge, including new --rewrite... tree | commitdiff
2013-12-04 Morgan DetersDon't put define-funs in model output; bug 411 testcase... tree | commitdiff
2013-12-04 Morgan DetersMore Java bindings fixes tree | commitdiff
2013-12-04 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-12-04 Tianyi Liangadds LB strategy tree | commitdiff
2013-12-04 Tianyi Liangadds LB strategy tree | commitdiff
2013-12-04 Morgan DetersSome fixes for swig warnings. tree | commitdiff
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-12-03 Tianyi LiangLast version for undelayed LB tree | commitdiff
2013-12-03 Tianyi LiangLast version for undelayed LB tree | commitdiff
2013-12-03 Morgan DetersWork around a swig segfault issue when building on... tree | commitdiff
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-12-03 Tianyi Liangstring fmf perfomance fix tree | commitdiff
2013-12-03 Tianyi Liangstring fmf changes tree | commitdiff
2013-12-03 Tianyi Liangstring fmf perfomance fix tree | commitdiff
2013-12-03 Morgan DetersSExpr pretty-printing for :all-options and :all-statistics. tree | commitdiff
2013-12-03 Morgan DetersMinor cleanup. tree | commitdiff
2013-12-03 Morgan DetersSupport for parametric datatype subtyping, so that... tree | commitdiff
2013-12-03 lianahfixed rewriter bug where postRewrite was not caching... tree | commitdiff
2013-12-02 Morgan DetersAnother fix to Java destruction order issues. Thanks... tree | commitdiff
2013-11-29 Morgan DetersFix proofs build. tree | commitdiff
2013-11-29 Morgan DetersFix portfolio compile error. tree | commitdiff
2013-11-27 Morgan DetersFix for compile error when using gcc 4.7 with -std... tree | commitdiff
2013-11-27 Morgan DetersGeneral pre-release cleanup commit tree | commitdiff
2013-11-27 Morgan DetersJava bindings improvements for CASCADE, minor cleanup. tree | commitdiff
2013-11-27 Morgan DetersAdd missing template instanatiation in Java bindings tree | commitdiff
2013-11-27 Morgan DetersIncremental is now on by default when using from API... tree | commitdiff
2013-11-27 Andrew ReynoldsBug fix for E-matching select terms, minor fix for... tree | commitdiff
2013-11-26 Morgan DetersFix a segfault in the printer infrastructure when calle... tree | commitdiff
2013-11-26 Morgan DetersFix C++-to-Java exception translation. tree | commitdiff
2013-11-26 Morgan DetersFix Java output stream adapter. tree | commitdiff
2013-11-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-26 Tianyi Liangstring fmf changes tree | commitdiff
2013-11-26 Morgan DetersFix Java destruction order issue; thanks to Zheng Manch... tree | commitdiff
2013-11-26 Morgan DetersMinor fix for swig bindings. tree | commitdiff
2013-11-25 Tim KingMerge remote-tracking branch 'CVC4root/master' tree | commitdiff
2013-11-25 Tim KingSubstantial Changes: tree | commitdiff
2013-11-25 Clark BarrettArray collectModelInfo fix for Andy tree | commitdiff
2013-11-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-21 Tianyi Liangstring fmf changes tree | commitdiff
2013-11-21 Tianyi Liangstring fmf changes tree | commitdiff
2013-11-21 Tim KingAdding the changes needed to delete rewriter attributes... tree | commitdiff
2013-11-20 Tim KingChanging the number of bits allocated per field in... tree | commitdiff
2013-11-19 Andrew ReynoldsBug fix for previous commit tree | commitdiff
2013-11-19 Andrew ReynoldsAdd fair strategy for finite model finding multiple... tree | commitdiff
2013-11-14 Morgan DetersAllow empty record literals (fixing an oversight in... tree | commitdiff
2013-11-14 Morgan DetersDatatype::getCardinality() caching tree | commitdiff
2013-11-13 Morgan DetersAdd virtual destructors where missing tree | commitdiff
2013-11-13 Morgan DetersSome patches to CVC3 compatibility layer; Thanks to... tree | commitdiff
2013-11-12 Morgan DetersMinor portfolio fixes for some platforms. tree | commitdiff
2013-11-12 Tianyi Lianglb change tree | commitdiff
next