Age | Commit message (Expand) | Author |
2014-08-29 | Set instantiation level on skolemized bodies of quantifiers. Rename inst-lev... | ajreynol |
2014-08-26 | Improved SMT-LIBv2 language support for unsat cores. | Morgan Deters |
2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
2014-08-22 | Merge branch '1.4.x' | Morgan Deters |
2014-08-22 | Fix SMT1 parser :extrasorts/:extrapreds. | Morgan Deters |
2014-08-19 | Merge branch '1.4.x' | Morgan Deters |
2014-08-19 | Produce error for bad indexed function names in SMT-LIB, remove antlr warning. | Morgan Deters |
2014-08-18 | Merge branch '1.4.x' | Morgan Deters |
2014-08-18 | Revert a8e0ce67 and add test case (resolves bug #578). | Morgan Deters |
2014-08-18 | Add support for quantifier-specific instantiation levels. Add option for set... | ajreynol |
2014-08-06 | First crack at fixing double-linking issues in build system. | Morgan Deters |
2014-07-10 | rm warning | Kshitij Bansal |
2014-07-10 | membership cvc token changed to `IS_IN' to avoid conflict with IN used for let | Kshitij Bansal |
2014-07-10 | friendlyparser: go back upto 2 words looking for match | Kshitij Bansal |
2014-07-10 | reorganize friendlyparser, behavior unchanged | Kshitij Bansal |
2014-07-09 | sets cvc parser | Kshitij Bansal |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-30 | Merge pull request #47 from kbansal/sets | Kshitij Bansal |
2014-06-29 | sets: "insert" operator | Kshitij Bansal |
2014-06-25 | make emptyset construction with no arguments private | Kshitij Bansal |
2014-06-25 | rename subseteq to subset in smtlib, all kinds and smt operator names are now... | Kshitij Bansal |
2014-06-22 | Renaming of SMT2 operator names, kinds for set theory | Kshitij Bansal |
2014-06-22 | Re-enable UNTERMINATED_QUOTED_SYMBOL rules. | Morgan Deters |
2014-06-22 | Merge tag 'smtcomp2014-application' | Morgan Deters |
2014-06-22 | Final fixes for smtcomp2014-application. | Morgan Deters |
2014-06-21 | API documentation improvements. | Morgan Deters |
2014-06-19 | Better error for invalid concrete syntax of sorts with too many parens, like ... | Morgan Deters |
2014-06-09 | Merge pull request #29 from kbansal/alternatefix | Kshitij Bansal |
2014-06-08 | parseErrorHelper : factor out whole word matching | Kshitij Bansal |
2014-06-08 | Previous "repeat" fix required extra lookahead (leading to assert-fails). Fi... | Morgan Deters |
2014-06-08 | smt2 parser: tokenize emptyset only if theory enabled | Kshitij Bansal |
2014-06-08 | Better error when there are \backslashes in |quoted symbols|. | Morgan Deters |
2014-06-08 | Allow 'repeat' as an SMT-LIB user symbol name (UFNIA/vcc-havoc does this). | Morgan Deters |
2014-06-06 | Sets translate, and other short fixes | Kshitij Bansal |
2014-06-04 | Add operator support (resolves bug #563). | Morgan Deters |
2014-06-04 | SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor,... | Morgan Deters |
2014-05-13 | Reject native extended ASCII characters. It requires user to use escaped sequ... | Tianyi Liang |
2014-04-29 | Fix for --force-logic to extend its reach to the parser. | Morgan Deters |
2014-04-29 | fix was compiler warning in antlr_input, crashing test case with the old fix | Kshitij Bansal |
2014-04-29 | Revert a compiler warning fix from ea6a5a6. | Morgan Deters |
2014-04-29 | fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlr | Tianyi Liang |
2014-04-28 | Merge remote-tracking branch 'upstream/master' into sets | Kshitij Bansal |
2014-04-27 | attempt to improve CVC4's "parse error" message | Kshitij Bansal |
2014-04-24 | Add --inst-max-level=N option for Kshitij. Support define-const command in S... | Andrew Reynolds |
2014-04-14 | Add initial support for co-datatypes. | Andrew Reynolds |
2014-04-10 | Expand definitions in theory datatypes, now has the expected semantics for in... | Andrew Reynolds |
2014-04-10 | Add support for cardinality constraints logic UFC. Add regressions in fmf/. ... | Andrew Reynolds |
2014-04-09 | Handle fmf.card as input from user, add support in SMT2 parser, as requested ... | Andrew Reynolds |
2014-04-04 | For security, add --no-filesystem-access option, which disables SMT-LIB scrip... | Morgan Deters |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |