Age | Commit message (Expand) | Author |
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-07-10 | rm warning | Kshitij Bansal |
2014-07-01 | Update copyrights. | Morgan Deters |
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-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 | 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-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-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-09 | Handle fmf.card as input from user, add support in SMT2 parser, as requested ... | Andrew Reynolds |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-19 | Minor usability fixes related to SMT-LIB compliance. | Morgan Deters |
2014-03-14 | SMT-LIB compliance: allow bin/hex set-info, e.g. (set-info :key #xffff). Tha... | Morgan Deters |
2014-03-05 | Don't tokenize SET_THEORY operators in smt2 parser | Kshitij Bansal |
2014-02-28 | add re.nostr for the empty regular expression; add re.allchar for the regular... | Tianyi Liang |
2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2014-02-28 | rename kind::IN to kind::MEMBER (fixes some windows build conflicts) | Kshitij Bansal |
2014-02-26 | smt-lib syntax change: str.contain -> str.contains; add some prefix syntax fo... | Tianyi Liang |
2014-02-25 | Minor code clean up in parser. | Morgan Deters |
2014-02-21 | add new theory (sets) | Kshitij Bansal |
2014-02-20 | add negative int2str | Tianyi Liang |
2014-02-17 | type conversion | Tianyi Liang |
2014-02-11 | lexer fix: disable smt-lib conversion for string literals | Tianyi Liang |
2014-02-06 | Minor fix for previous commit | Morgan Deters |
2014-02-06 | Oops.. premature push on lexer fix (remove debugging output) | Morgan Deters |
2014-02-06 | Fixes for escape-handling for string literals in SMT-LIBv2 lexer | Morgan Deters |
2014-01-29 | add prefixof, suffixof | Tianyi Liang |
2014-01-09 | add constant replace, indexof | Tianyi Liang |
2014-01-02 | Merge branch '1.3.x' | Morgan Deters |
2014-01-02 | Update copyright year. | Morgan Deters |
2013-12-27 | minor fix | Tianyi Liang |
2013-12-27 | Merge branch '1.3.x' | Morgan Deters |
2013-12-27 | Fix for ANTLR warning. | Morgan Deters |
2013-12-26 | new functions in strings | Tianyi Liang |
2013-12-24 | Better get-value parse error message for common user error. | Morgan Deters |