projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
New C++ API: Keep reference to solver object in non-solver objects. (#4549)
[cvc5.git]
/
src
/
parser
/
parser.h
2020-06-02
Aina Niemetz
New C++ API: Keep reference to solver object in non...
blob
|
commitdiff
|
raw
2020-04-28
Andrew Reynolds
Support the SMT-LIB Unicode string standard by default...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Andrew Reynolds
Remove replay and use-theory options and idl (#4186)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-28
Abdalrhman Mohamed
Stop printing datatype declaration for Sygus V1 grammar...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-27
Andrew Reynolds
Support unicode internal representation and escape...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-12
Andrew Reynolds
Convert most instances of dataypes in parsers to the...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-09
Andrew Reynolds
Clean up more uses of ExprManager in parsers (#3932)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-06
Andrew Reynolds
Simplify DatatypeDeclarationCommand command (#3928)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-06
Andrew Reynolds
Remove tester name from APIs (#3929)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-05
Andrew Reynolds
Migrate a majority of the functionality in parsers...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-26
Andrew Reynolds
Refactor type ascriptions in the parser (#3825)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-26
Andrew Reynolds
Embed mkAssociative utilities within the API. (#3801)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-24
Andrew Reynolds
Convert parser input interface to api::Term (#3809)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-20
Andrew Reynolds
Remove front-end support for Chain (#3767)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-17
Haniel Barbosa
Using ParseOp in TPTP (#3764)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-17
Abdalrhman Mohamed
Support dumping Sygus commands. (#3763)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-14
Andrew Reynolds
Update sygus v1 parser to use ParseOp utility (#3756)
blob
|
commitdiff
|
raw
|
diff to current
2019-12-13
Andrew Reynolds
Add support for set comprehension (#3312)
blob
|
commitdiff
|
raw
|
diff to current
2019-10-27
Andres Noetzli
Fix global-declarations support (#3403)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-13
Andrew Reynolds
Disallow let in sygus grammars, check for free variable...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-18
Andrew Reynolds
Cleaning make bound var in smt2 parser (#3192)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-10
Andrew Reynolds
Simplify how defined functions are tracked during parsi...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Andres Noetzli
Fix and simplify handling of --force-logic (#3062)
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Andres Noetzli
Refactor parser to define fewer tokens for symbols...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-03
Andres Noetzli
API/Smt2 parser: refactor termAtomic (#2674)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-27
Andrew Reynolds
Make division chainable in the smt2 parser (#2367)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-02
Andrew Reynolds
Fix issues with printing parametric datatypes in smt2...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Updated copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
blob
|
commitdiff
|
raw
|
diff to current
2018-01-06
Tim King
Removing throw specifiers from src/parser/. (#1486)
blob
|
commitdiff
|
raw
|
diff to current
2017-11-24
Andrew Reynolds
Ho parsing and regressions (#1350)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-05
Clark Barrett
Fix typo in comment.
blob
|
commitdiff
|
raw
|
diff to current
2017-10-03
Andrew Reynolds
Op overload parser (#1162)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2016-11-12
Tim King
Merge pull request #105 from timothy-king/delete-maxed-out
blob
|
commitdiff
|
raw
|
diff to current
2016-11-12
Tim King
Deleting the remaining commands in the Parser's queue...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-01
ajreynol
Revert change to Datatypes API to return vector of...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-01
ajreynol
Revert change to datatypes API for passing pointers...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-01
ajreynol
Working memory leak free version, changes interface...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2015-07-28
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2015-07-20
ajreynol
Squashed merge of SygusComp 2015 branch.
blob
|
commitdiff
|
raw
|
diff to current
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-11-17
Liana Hadarean
Resource-limiting work.
blob
|
commitdiff
|
raw
|
diff to current
2014-11-10
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-23
Morgan Deters
Parsing and infrastructure support for SMT-LIBv2.5...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-17
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-16
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-11
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Morgan Deters
Merge branch '1.4.x'
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-06
Morgan Deters
Support for RESET command in CVC native language (and...
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-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
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
lianah
Merge pull request #39 from mdeters/bv-warnings
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
API documentation improvements.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-06
Kshitij Bansal
Merge pull request #28 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-06
Kshitij Bansal
Sets translate, and other short fixes
blob
|
commitdiff
|
raw
|
diff to current
2014-04-29
Morgan Deters
Fix for --force-logic to extend its reach to the parser.
blob
|
commitdiff
|
raw
|
diff to current
2013-09-30
Liana Hadarean
merged golden
blob
|
commitdiff
|
raw
|
diff to current
2013-09-09
Morgan Deters
Fix declare-datatypes dumping bug (bug 385).
blob
|
commitdiff
|
raw
|
diff to current
2013-09-05
Morgan Deters
Fix declare-fun/define-fun in dumps; resolves bugs...
blob
|
commitdiff
|
raw
|
diff to current
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-25
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-19
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-19
Morgan Deters
Fix to the "include" extended feature of the SMT-LIB...
blob
|
commitdiff
|
raw
|
diff to current
2013-06-19
Morgan Deters
Give a more useful parse error message for "undeclared...
blob
|
commitdiff
|
raw
|
diff to current
2013-06-07
Morgan Deters
Allow disabling include-file feature
blob
|
commitdiff
|
raw
|
diff to current
2013-06-03
Morgan Deters
Merge tag 'casc24'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-22
Andrew Reynolds
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-05-20
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-20
Morgan Deters
Detect multiply-defined :named annotations and issue...
blob
|
commitdiff
|
raw
|
diff to current
2013-05-20
Morgan Deters
Fix parsing of SMT-LIBv2 |quoted| symbols that span...
blob
|
commitdiff
|
raw
|
diff to current
2013-05-20
Morgan Deters
Better error on illegal (pop N); also more compliant...
blob
|
commitdiff
|
raw
|
diff to current
2013-05-17
Morgan Deters
Better error on illegal (pop N); also more compliant...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
update copyrights
blob
|
commitdiff
|
raw
|
diff to current
2013-02-02
lianah
merged master into branch
blob
|
commitdiff
|
raw
|
diff to current
2012-12-15
Tim King
Merge remote-tracking branch 'main-repo/1.0.x' into...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-11
Morgan Deters
Merge branch '1.0.x' (getting fix for bug 479)
blob
|
commitdiff
|
raw
|
diff to current
2012-12-11
Morgan Deters
Ignore unknown term annotations (giving a warning)...
blob
|
commitdiff
|
raw
|
diff to current
next