projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
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
ajreynol
Add owner map to better manage QuantifiersModules....
blob
|
commitdiff
|
raw
2014-10-09
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-07
ajreynol
Refactor quantifiers attributes.
blob
|
commitdiff
|
raw
|
diff to current
2014-10-07
Morgan Deters
define-const is an extended command, not permitted...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
More array constants and parsing: better error messages...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
SMT-LIB parser support for array constants (Z3 syntax).
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-30
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-27
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-26
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-23
ajreynol
Support :no-pattern.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Fix fix. There are no unsat cores in 1.4
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Fix (push) and (pop). Thanks to Christoph Sticksel...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-29
ajreynol
Set instantiation level on skolemized bodies of quantif...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-26
Morgan Deters
Improved SMT-LIBv2 language support for unsat cores.
blob
|
commitdiff
|
raw
|
diff to current
2014-08-22
Morgan Deters
Unsat core infrastruture and API (SMT-LIB compliance...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-22
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-22
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-19
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-19
Morgan Deters
Produce error for bad indexed function names in SMT...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-18
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-18
Morgan Deters
Revert a8e0ce67 and add test case (resolves bug #578).
blob
|
commitdiff
|
raw
|
diff to current
2014-08-18
ajreynol
Add support for quantifier-specific instantiation level...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-11
Kshitij Bansal
Merge pull request #48 from kbansal/segfaultfix
blob
|
commitdiff
|
raw
|
diff to current
2014-07-11
Kshitij Bansal
Merge pull request #49 from kbansal/cvcparser
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
rm warning
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Update copyrights.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
blob
|
commitdiff
|
raw
|
diff to current
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Kshitij Bansal
make emptyset construction with no arguments private
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Re-enable UNTERMINATED_QUOTED_SYMBOL rules.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Final fixes for smtcomp2014-application.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Better error for invalid concrete syntax of sorts with...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-18
Morgan Deters
Better error for invalid concrete syntax of sorts with...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-09
Kshitij Bansal
Merge pull request #29 from kbansal/alternatefix
blob
|
commitdiff
|
raw
|
diff to current
2014-06-09
Morgan Deters
Previous "repeat" fix required extra lookahead (leading...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-08
Kshitij Bansal
smt2 parser: tokenize emptyset only if theory enabled
blob
|
commitdiff
|
raw
|
diff to current
2014-06-08
Morgan Deters
Better error when there are \backslashes in |quoted...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-08
Morgan Deters
Allow 'repeat' as an SMT-LIB user symbol name (UFNIA...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-13
Tianyi Liang
Reject native extended ASCII characters. It requires...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-24
Andrew Reynolds
Add --inst-max-level=N option for Kshitij. Support...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-14
Andrew Reynolds
Add initial support for co-datatypes.
blob
|
commitdiff
|
raw
|
diff to current
2014-04-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-04-09
Kshitij Bansal
Merge pull request #24 from kbansal/sets-model
blob
|
commitdiff
|
raw
|
diff to current
2014-04-09
Andrew Reynolds
Handle fmf.card as input from user, add support in...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Tianyi Liang
add str to u16/u32, and u16/u32 to str
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Tianyi Liang
add str to u16/u32, and u16/u32 to str
blob
|
commitdiff
|
raw
|
diff to current
2014-03-27
Tianyi Liang
adds new feature: re.loop
blob
|
commitdiff
|
raw
|
diff to current
2014-03-27
Tianyi Liang
adds new feature: re.loop
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
blob
|
commitdiff
|
raw
|
diff to current
2014-03-19
Morgan Deters
Minor usability fixes related to SMT-LIB compliance.
blob
|
commitdiff
|
raw
|
diff to current
2014-03-17
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-03-14
Morgan Deters
SMT-LIB compliance: allow bin/hex set-info, e.g. (set...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-03-05
Kshitij Bansal
Merge pull request #14 from kbansal/sets-parserchanges
blob
|
commitdiff
|
raw
|
diff to current
2014-03-05
Kshitij Bansal
Don't tokenize SET_THEORY operators in smt2 parser
blob
|
commitdiff
|
raw
|
diff to current
2014-03-01
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-03-01
Tianyi Liang
add re.nostr for the empty regular expression; add...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-01
Tianyi Liang
a new regular expression engine for solving both positi...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-01
Tianyi Liang
add re.nostr for the empty regular expression; add...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-28
Tianyi Liang
a new regular expression engine for solving both positi...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-28
Kshitij Bansal
Merge pull request #12 from kbansal/in-to-member
blob
|
commitdiff
|
raw
|
diff to current
2014-02-28
Kshitij Bansal
rename kind::IN to kind::MEMBER (fixes some windows...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-02-26
Tianyi Liang
smt-lib syntax change: str.contain -> str.contains...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Morgan Deters
Minor code clean up in parser.
blob
|
commitdiff
|
raw
|
diff to current
2014-02-24
Tianyi Liang
smt-lib syntax change: str.contain -> str.contains...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Kshitij Bansal
Merge pull request #10 from kbansal/sets-for-merge
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Kshitij Bansal
add new theory (sets)
blob
|
commitdiff
|
raw
|
diff to current
2014-02-20
Tianyi Liang
add negative int2str
blob
|
commitdiff
|
raw
|
diff to current
2014-02-20
Tianyi Liang
add negative int2str
blob
|
commitdiff
|
raw
|
diff to current
2014-02-19
Tim King
Merge branch 'master' of github.com:CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-02-19
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-02-19
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-19
Tianyi Liang
add negative int2str
blob
|
commitdiff
|
raw
|
diff to current
2014-02-17
Tianyi Liang
type conversion
blob
|
commitdiff
|
raw
|
diff to current
2014-02-17
Tianyi Liang
type conversion
blob
|
commitdiff
|
raw
|
diff to current
2014-02-12
Tianyi Liang
lexer fix: disable smt-lib conversion for string literals
blob
|
commitdiff
|
raw
|
diff to current
2014-02-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-02-06
Morgan Deters
Minor fix for previous commit
blob
|
commitdiff
|
raw
|
diff to current
2014-02-06
Morgan Deters
Oops.. premature push on lexer fix (remove debugging...
blob
|
commitdiff
|
raw
|
diff to current
next