projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Modify the smt2 parser to use the Sygus grammar. (#4829)
[cvc5.git]
/
src
/
parser
/
cvc
/
2020-08-03
Andrew Reynolds
Update datatypes in cvc parser to the new API (#4826)
tree
|
commitdiff
2020-07-06
Andrew Reynolds
Front end support for sequences (#4690)
tree
|
commitdiff
2020-06-19
Andres Noetzli
Add logic check for define-fun(s)-rec (#4577)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-06
Andres Noetzli
Keep definitions when global-declarations enabled ...
tree
|
commitdiff
2020-06-04
Aina Niemetz
New C++ Api: First batch of API guards. (#4557)
tree
|
commitdiff
2020-06-02
Aina Niemetz
New C++ API: Keep reference to solver object in non...
tree
|
commitdiff
2020-05-22
Andrew Reynolds
Update string kind names in new API (#4509)
tree
|
commitdiff
2020-05-19
mudathirmahgoub
Renamed operator CHOICE to WITNESS (#4207)
tree
|
commitdiff
2020-04-08
mudathirmahgoub
Added CHOOSE operator for sets (#4211)
tree
|
commitdiff
2020-03-31
Andrew Reynolds
Remove replay and use-theory options and idl (#4186)
tree
|
commitdiff
2020-03-30
Andrew Reynolds
Support indexed operators re.loop and re.^ (#4167)
tree
|
commitdiff
2020-03-30
mudathirmahgoub
Frontend support for the choice operator (#4175)
tree
|
commitdiff
2020-03-27
Andrew Reynolds
Support unicode internal representation and escape...
tree
|
commitdiff
2020-03-12
Andrew Reynolds
Convert most instances of dataypes in parsers to the...
tree
|
commitdiff
2020-03-09
Andrew Reynolds
Clean up more uses of ExprManager in parsers (#3932)
tree
|
commitdiff
2020-03-06
Andrew Reynolds
Simplify DatatypeDeclarationCommand command (#3928)
tree
|
commitdiff
2020-03-06
Andrew Reynolds
Remove tester name from APIs (#3929)
tree
|
commitdiff
2020-03-05
Andrew Reynolds
Migrate a majority of the functionality in parsers...
tree
|
commitdiff
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
tree
|
commitdiff
2020-02-27
Andrew Reynolds
Refactor operator applications in the parser (#3831)
tree
|
commitdiff
2020-02-26
Andrew Reynolds
Basic support for regular expression complement (#3437)
tree
|
commitdiff
2020-02-26
Andrew Reynolds
Refactor type ascriptions in the parser (#3825)
tree
|
commitdiff
2020-02-26
Andrew Reynolds
Minor cleaning of smt2 parser (#3823)
tree
|
commitdiff
2020-02-24
Andrew Reynolds
Convert parser input interface to api::Term (#3809)
tree
|
commitdiff
2019-12-23
Andrew Reynolds
Initial support for string reverse (#3581)
tree
|
commitdiff
2019-12-06
Andrew Reynolds
Add ExprManager as argument to Datatype (#3535)
tree
|
commitdiff
2019-10-08
Andres Noetzli
[CVC Parser] Add support for regular expressions (...
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-08-26
Andrew Reynolds
Remove unnecessary code from Cvc.g (#3213)
tree
|
commitdiff
2019-08-10
Andrew Reynolds
Simplify how defined functions are tracked during parsi...
tree
|
commitdiff
2019-06-21
Andres Noetzli
Fix and simplify handling of --force-logic (#3062)
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-29
Andrew Reynolds
Fix issues in cvc parser (#2901)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2018-11-21
Andrew Reynolds
Support string replace all (#2704)
tree
|
commitdiff
2018-10-20
Mathias Preiner
Remove antlr_undefines.h. (#2664)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Move find_package to where it is actually needed.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Antlr parser generation done.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-05-29
Andres Noetzli
Track input language in a single place (#2003)
tree
|
commitdiff
2018-05-21
Andrew Reynolds
Improvements in parsing and printing related to mixed...
tree
|
commitdiff
2018-04-06
Arjun Viswanathan
Add define rec fun to cvc parser (#1738)
tree
|
commitdiff
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
tree
|
commitdiff
2018-02-08
Tim King
Fixing more inconsistent usages of override. (#1575)
tree
|
commitdiff
2018-01-06
Tim King
Removing throw specifiers from src/parser/. (#1486)
tree
|
commitdiff
2017-10-18
Andrew Reynolds
Strings API escape sequences (#1245)
tree
|
commitdiff
2017-10-03
Andrew Reynolds
Op overload parser (#1162)
tree
|
commitdiff
2017-09-14
Andrew Reynolds
Remove unhandled subtypes (#1098)
tree
|
commitdiff
2017-09-05
Andrew Reynolds
Remove support for conversions between uint32/uint16...
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-17
Andres Noetzli
Remove unused SubrangeBound(s) classes (#221)
tree
|
commitdiff
2017-07-29
ajreynol
Add support for charat in native language, minor cleanup.
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-17
Andres Noetzli
Remove PtrCloser (#198)
tree
|
commitdiff
2017-07-16
Andres Noetzli
Use CXXFLAGS when compiling parsers (#197)
tree
|
commitdiff
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
tree
|
commitdiff
2017-07-12
ajreynol
Make type rules more strict for operators whose type...
tree
|
commitdiff
2017-07-10
ajreynol
Merge datatype shared selectors/sygus comp 2017 branch...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Use new copyright header format.
tree
|
commitdiff
2017-04-20
Andrew Reynolds
Merge pull request #149 from PaulMeng/master
tree
|
commitdiff
2017-04-20
Paul Meng
Support for relational operators identity and join...
tree
|
commitdiff
2017-04-12
ajreynol
Add nullary operator metakind.
tree
|
commitdiff
2017-03-20
Andrew Reynolds
Merge pull request #135 from PaulMeng/master
tree
|
commitdiff
2017-03-20
Paul Meng
fixed cvc4 parser for set complement
tree
|
commitdiff
2017-03-16
ajreynol
Parsing support for SMT LIB 2.6. Minor fixes for printi...
tree
|
commitdiff
2017-03-07
ajreynol
More fixes for printing/parsing sets, fix kind name.
tree
|
commitdiff
2017-03-07
ajreynol
Fix cvc parser for set compliment.
tree
|
commitdiff
2017-03-06
ajreynol
Support for set compliment and universe set. Simplify...
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2016-12-07
ajreynol
Added cardinality to cvc language, fixes bug 753. Throw...
tree
|
commitdiff
2016-12-02
Clark Barrett
Merge pull request #113 from 4tXJ7f/remove_extract_rule
tree
|
commitdiff
2016-11-30
Clark Barrett
Merge pull request #115 from 4tXJ7f/bug766
tree
|
commitdiff
2016-11-30
Andres Notzli
Fix parsing of BVROTR by CVC parser
tree
|
commitdiff
2016-11-12
Clark Barrett
Merge pull request #107 from timothy-king/smt1-parser...
tree
|
commitdiff
2016-11-12
Clark Barrett
Merge pull request #106 from timothy-king/cvc-parser...
tree
|
commitdiff
2016-11-12
Tim King
Adding garbage collection for the CVC Parser for Comman...
tree
|
commitdiff
2016-11-01
ajreynol
Revert change to Datatypes API to return vector of...
tree
|
commitdiff
2016-11-01
ajreynol
Revert change to datatypes API for passing pointers...
tree
|
commitdiff
2016-11-01
ajreynol
Working memory leak free version, changes interface...
tree
|
commitdiff
2016-10-26
Andrew Reynolds
Merge pull request #98 from 4tXJ7f/fix_dist_build
tree
|
commitdiff
2016-10-26
ajreynol
New implementation of sets+cardinality. Merge Paul...
tree
|
commitdiff
2016-10-13
Tim King
Revert "Merge branch 'origin' of https://github.com...
tree
|
commitdiff
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-08-24
PaulMeng
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-05-05
Tim King
Removing a null pointer reference that was found by...
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-15
PaulMeng
change transitive closure operator name to TCLOUSRE
tree
|
commitdiff
2016-04-14
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-13
ajreynol
Update native language support for strings.
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-09
Kshitij Bansal
cardinality operation for finite sets (based on my...
tree
|
commitdiff
next