Age | Commit message (Expand) | Author |
2014-10-06 | Clear out decls/defs with RESET command. | 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-06 | Support for RESET command in CVC native language (and infrastructure for supp... | Morgan Deters |
2014-10-03 | Merge branch '1.4.x' | Morgan Deters |
2014-10-03 | Improve error in CVC parser in presence of unrecognized command name. | Morgan Deters |
2014-10-03 | More array constants and parsing: better error messages, extend to CVC presen... | Morgan Deters |
2014-10-03 | SMT-LIB parser support for array constants (Z3 syntax). | Morgan Deters |
2014-09-23 | Support :no-pattern. | ajreynol |
2014-09-17 | Fix fix. There are no unsat cores in 1.4 | Kshitij Bansal |
2014-09-17 | Merge branch '1.4.x' | Kshitij Bansal |
2014-09-17 | Fix (push) and (pop). Thanks to Christoph Sticksel for the bug report. | Kshitij Bansal |
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 |