summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2014-01-08Fix LogicInfo parsing for string logicsMorgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-12-27Fix for ANTLR warning.Morgan Deters
2013-12-24Better automatic handling of output language setting.Morgan Deters
2013-12-24Better get-value parse error message for common user error.Morgan Deters
2013-12-24Minor code cleanup.Morgan Deters
2013-12-22Fix to interactive mode determination.Morgan Deters
2013-12-22Fix option specification.Morgan Deters
2013-12-17some config changes: new --bsd option, readline gives warning, default build ↵Morgan Deters
is now production.
2013-12-16Fix for bug 544.Morgan Deters
2013-12-13Fix link error when using clang.Morgan Deters
2013-12-10Fix timer statistics to report correct time even on process abort.Morgan Deters
2013-12-10Whitespace.Morgan Deters
2013-12-10Fix warning.Morgan Deters
2013-12-10Remove "NodeValue width" outputMorgan Deters
2013-12-07fix bug 542Kshitij Bansal
2013-12-05disable substring in default modeTianyi Liang
2013-12-05Fix NodeValue bitfields for 32-bit; fix comment.Morgan Deters
2013-12-05Minor cleanup.Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-12-05Fixes related to parametric datatype printing.Morgan Deters
2013-12-05Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now ↵Morgan Deters
works).
2013-12-04Minor cleanup.Morgan Deters
2013-12-04Partial kind branch merge, including new --rewrite-apply-to-const feature.Morgan Deters
2013-12-04Don't put define-funs in model output; bug 411 testcase no longer relevant.Morgan Deters
2013-12-04More Java bindings fixesMorgan Deters
2013-12-03adds LB strategyTianyi Liang
2013-12-03Some fixes for swig warnings.Morgan Deters
2013-12-03Last version for undelayed LBTianyi Liang
2013-12-03Work around a swig segfault issue when building on Mac OSMorgan Deters
2013-12-03string fmf perfomance fixTianyi Liang
2013-12-03string fmf changesTianyi Liang
2013-12-02SExpr pretty-printing for :all-options and :all-statistics.Morgan Deters
2013-12-02Minor cleanup.Morgan Deters
2013-12-02Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a ↵Morgan Deters
subtype of (Pair Real Real). Resolves bug #541.
2013-12-02fixed rewriter bug where postRewrite was not caching properlylianah
2013-12-02Another fix to Java destruction order issues. Thanks to Zheng Manchun for ↵Morgan Deters
the report.
2013-11-29Fix proofs build.Morgan Deters
2013-11-29Fix portfolio compile error.Morgan Deters
2013-11-27Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to ↵Morgan Deters
Martin Brain for the patch!
2013-11-27General pre-release cleanup commitMorgan Deters
* Rename {model,util_model}.{h,cpp} files to match class names * Fix alreadyVisited() issue in TheoryEngine * Remove spurious Message that causes compliance issues * Update copyrights, fix public/private markings in headers * minor comment fixes * remove EXTRACT_OP as a special-case in typechecker * note about rewriters in theoryskel readme * Clean up some compiler warnings * Code typos and spacing
2013-11-27Java bindings improvements for CASCADE, minor cleanup.Morgan Deters
2013-11-27Add missing template instanatiation in Java bindingsMorgan Deters
2013-11-27Incremental is now on by default when using from API, off for command-line ↵Morgan Deters
driver except in interactive mode.
2013-11-26Bug fix for E-matching select terms, minor fix for bounded integers, bug fix ↵Andrew Reynolds
to improve performance of quantifiers rewriter
2013-11-26Fix a segfault in the printer infrastructure when called from API and no ↵Morgan Deters
language is set
2013-11-26Fix C++-to-Java exception translation.Morgan Deters
2013-11-26Fix Java output stream adapter.Morgan Deters
2013-11-26Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ↵Morgan Deters
bug.
2013-11-26Minor fix for swig bindings.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback