projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add owner map to better manage QuantifiersModules. Initial infrastructure for cegqi.
[cvc5.git] / src / parser / smt2 / Smt2.g
2014-10-10 ajreynolAdd owner map to better manage QuantifiersModules.... blob | commitdiff | raw
2014-10-09 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-07 ajreynolRefactor quantifiers attributes. blob | commitdiff | raw | diff to current
2014-10-07 Morgan Detersdefine-const is an extended command, not permitted... blob | commitdiff | raw | diff to current
2014-10-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMore array constants and parsing: better error messages... blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersSMT-LIB parser support for array constants (Z3 syntax). blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-02 Morgan DetersMerge branch '1.4.x'. blob | commitdiff | raw | diff to current
2014-09-30 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-27 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-26 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-23 ajreynolSupport :no-pattern. blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalFix fix. There are no unsat cores in 1.4 blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalFix (push) and (pop). Thanks to Christoph Sticksel... blob | commitdiff | raw | diff to current
2014-08-29 ajreynolSet instantiation level on skolemized bodies of quantif... blob | commitdiff | raw | diff to current
2014-08-26 Morgan DetersImproved SMT-LIBv2 language support for unsat cores. blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersUnsat core infrastruture and API (SMT-LIB compliance... blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-19 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-19 Morgan DetersProduce error for bad indexed function names in SMT... blob | commitdiff | raw | diff to current
2014-08-18 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-18 Morgan DetersRevert a8e0ce67 and add test case (resolves bug #578). blob | commitdiff | raw | diff to current
2014-08-18 ajreynolAdd support for quantifier-specific instantiation level... blob | commitdiff | raw | diff to current
2014-07-11 Kshitij BansalMerge pull request #48 from kbansal/segfaultfix blob | commitdiff | raw | diff to current
2014-07-11 Kshitij BansalMerge pull request #49 from kbansal/cvcparser blob | commitdiff | raw | diff to current
2014-07-10 Kshitij Bansalrm warning blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp blob | commitdiff | raw | diff to current
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-25 Kshitij Bansalmake emptyset construction with no arguments private blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersRe-enable UNTERMINATED_QUOTED_SYMBOL rules. blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersFinal fixes for smtcomp2014-application. blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersBetter error for invalid concrete syntax of sorts with... blob | commitdiff | raw | diff to current
2014-06-18 Morgan DetersBetter error for invalid concrete syntax of sorts with... blob | commitdiff | raw | diff to current
2014-06-09 Kshitij BansalMerge pull request #29 from kbansal/alternatefix blob | commitdiff | raw | diff to current
2014-06-09 Morgan DetersPrevious "repeat" fix required extra lookahead (leading... blob | commitdiff | raw | diff to current
2014-06-08 Kshitij Bansalsmt2 parser: tokenize emptyset only if theory enabled blob | commitdiff | raw | diff to current
2014-06-08 Morgan DetersBetter error when there are \backslashes in |quoted... blob | commitdiff | raw | diff to current
2014-06-08 Morgan DetersAllow 'repeat' as an SMT-LIB user symbol name (UFNIA... blob | commitdiff | raw | diff to current
2014-05-13 Tianyi LiangReject native extended ASCII characters. It requires... blob | commitdiff | raw | diff to current
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2014-04-24 Andrew ReynoldsAdd --inst-max-level=N option for Kshitij. Support... blob | commitdiff | raw | diff to current
2014-04-14 Andrew ReynoldsAdd initial support for co-datatypes. blob | commitdiff | raw | diff to current
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-04-09 Kshitij BansalMerge pull request #24 from kbansal/sets-model blob | commitdiff | raw | diff to current
2014-04-09 Andrew ReynoldsHandle fmf.card as input from user, add support in... blob | commitdiff | raw | diff to current
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str blob | commitdiff | raw | diff to current
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str blob | commitdiff | raw | diff to current
2014-03-27 Tianyi Liangadds new feature: re.loop blob | commitdiff | raw | diff to current
2014-03-27 Tianyi Liangadds new feature: re.loop blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model blob | commitdiff | raw | diff to current
2014-03-19 Morgan DetersMinor usability fixes related to SMT-LIB compliance. blob | commitdiff | raw | diff to current
2014-03-17 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-14 Morgan DetersSMT-LIB compliance: allow bin/hex set-info, e.g. (set... blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-05 Kshitij BansalMerge pull request #14 from kbansal/sets-parserchanges blob | commitdiff | raw | diff to current
2014-03-05 Kshitij BansalDon't tokenize SET_THEORY operators in smt2 parser blob | commitdiff | raw | diff to current
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add... blob | commitdiff | raw | diff to current
2014-03-01 Tianyi Lianga new regular expression engine for solving both positi... blob | commitdiff | raw | diff to current
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add... blob | commitdiff | raw | diff to current
2014-02-28 Tianyi Lianga new regular expression engine for solving both positi... blob | commitdiff | raw | diff to current
2014-02-28 Kshitij BansalMerge pull request #12 from kbansal/in-to-member blob | commitdiff | raw | diff to current
2014-02-28 Kshitij Bansalrename kind::IN to kind::MEMBER (fixes some windows... blob | commitdiff | raw | diff to current
2014-02-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-02-26 Tianyi Liangsmt-lib syntax change: str.contain -> str.contains... blob | commitdiff | raw | diff to current
2014-02-25 Morgan DetersMinor code clean up in parser. blob | commitdiff | raw | diff to current
2014-02-24 Tianyi Liangsmt-lib syntax change: str.contain -> str.contains... blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge blob | commitdiff | raw | diff to current
2014-02-21 Kshitij Bansaladd new theory (sets) blob | commitdiff | raw | diff to current
2014-02-20 Tianyi Liangadd negative int2str blob | commitdiff | raw | diff to current
2014-02-20 Tianyi Liangadd negative int2str blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch 'master' of github.com:CVC4/CVC4 blob | commitdiff | raw | diff to current
2014-02-19 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tianyi Liangadd negative int2str blob | commitdiff | raw | diff to current
2014-02-17 Tianyi Liangtype conversion blob | commitdiff | raw | diff to current
2014-02-17 Tianyi Liangtype conversion blob | commitdiff | raw | diff to current
2014-02-12 Tianyi Lianglexer fix: disable smt-lib conversion for string literals blob | commitdiff | raw | diff to current
2014-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-02-06 Morgan DetersMinor fix for previous commit blob | commitdiff | raw | diff to current
2014-02-06 Morgan DetersOops.. premature push on lexer fix (remove debugging... blob | commitdiff | raw | diff to current
next