| Age | Commit message (Expand) | Author |
|---|
| 2015-01-19 | Adding tests for get-value output for arithmetic. | Tim King |
| 2015-01-14 | sygus input language and benchmark | Morgan Deters |
| 2015-01-11 | adjusted to both v2.0 and v2.5 string literals | Tianyi Liang |
| 2015-01-09 | blocked unprintable characters in string literals; | Tianyi Liang |
| 2015-01-07 | bug fix, thanks to Pierre's report | Tianyi Liang |
| 2014-12-28 | Disable prenex by default when using fmf bound int, minor improvement to data... | ajreynol |
| 2014-12-04 | Relaxed the constant requirement for regular expression loop; | Tianyi Liang |
| 2014-11-26 | add intersection rewriting | Tianyi Liang |
| 2014-11-21 | Throw error when pattern is not list of terms. | ajreynol |
| 2014-11-21 | Change default option to --inst-when=full-last-call (interleave instantiation... | ajreynol |
| 2014-11-20 | Disable constants sharing in eq engine, disable hack in theory engine. Chang... | ajreynol |
| 2014-11-18 | Compute model basis only for fmf. Add another co-datatype regression. | ajreynol |
| 2014-11-18 | Add local theory extensions instantiation strategy (incomplete). Refactor ho... | ajreynol |
| 2014-11-10 | Bug 593 fix: if the type is finite, it is now considered for detecting theori... | Dejan Jovanović |
| 2014-11-09 | Fix dt shared terms issue, reenable regression. | ajreynol |
| 2014-11-08 | Fix bug with incremental+datatypes. Minor cleanup. Disable regression bug48... | ajreynol |
| 2014-11-07 | Merge branch '1.4.x' | Morgan Deters |
| 2014-11-07 | Fix missing case in Boolean terms rewriting. (Resolves bug #596.) | Morgan Deters |
| 2014-11-07 | Merge branch '1.4.x' | Morgan Deters |
| 2014-11-07 | Corrected fix for missing case in model postprocessor (resolves bug #595). | Morgan Deters |
| 2014-11-07 | Revert "Fix missing case in model postprocessor (resolves bug #595)." | Morgan Deters |
| 2014-11-07 | Revert "Fix missing case in model postprocessor (resolves bug #595)." | Morgan Deters |
| 2014-11-07 | Merge branch '1.4.x' | Morgan Deters |
| 2014-11-07 | Fix missing case in model postprocessor (resolves bug #595). | Morgan Deters |
| 2014-11-07 | Properly distinguish which EQC to assign values in datatypes, use assertRepre... | ajreynol |
| 2014-11-06 | Reenable regression. Add (for now, disabled) changes to datatypes theory com... | ajreynol |
| 2014-11-05 | More work on datatypes theory combination: fix bug in care graph, do not assi... | ajreynol |
| 2014-11-01 | Fix bug 592: introduce skolem for dt instantiate lemma (avoids terms in lemma... | ajreynol |
| 2014-11-01 | Fix some mistakes in datatypes theory combination, disable two regressions. ... | ajreynol |
| 2014-10-31 | Do not allow duplication of function definitions. Set incomplete flag in mod... | ajreynol |
| 2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
| 2014-10-22 | Fix bug590 regression distcheck failure from last night. | Morgan Deters |
| 2014-10-21 | Fixed bug 590, added regression test | Clark Barrett |
| 2014-10-10 | Merge remote-tracking branch 'origin/1.4.x' | Kshitij Bansal |
| 2014-10-10 | Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti... | Kshitij Bansal |
| 2014-10-06 | Merge branch '1.4.x' | Morgan Deters |
| 2014-10-06 | Fix a bug in tuple-record handling. Thanks to Saumya Debray for the report. | Morgan Deters |
| 2014-10-06 | Merge branch '1.4.x' | Morgan Deters |
| 2014-10-06 | fix for bug586 | Kshitij Bansal |
| 2014-10-06 | Extended parsing testcase, with constant arrays and RESET. | Morgan Deters |
| 2014-10-06 | Merge branch '1.4.x' | Morgan Deters |
| 2014-10-06 | Fix native language parsing of chained-store expressions (resolves bug 585). ... | Morgan Deters |
| 2014-10-04 | Enable some old bug testcases that (maybe?) never got added. | Morgan Deters |
| 2014-10-03 | Add some (so far trivial) regressions for constant arrays. | Morgan Deters |
| 2014-09-24 | Fix infinite loop in datatypes enumerator. Minor work on conjecture generator. | ajreynol |
| 2014-09-17 | Fix soundness bug for quantifier macros involving Int/Real. | ajreynol |
| 2014-09-03 | Implement and enable --dt-var-exp-quant, cleanup trace messages, minor change... | ajreynol |
| 2014-08-28 | fixing bug580 caused by bad bv inequality explanation | lianah |
| 2014-08-28 | fixing bug580 caused by bad bv inequality explanation | lianah |
| 2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
