projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Enable -Wshadow and fix warnings. (#3909)
[cvc5.git]
/
src
/
parser
/
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
tree
|
commitdiff
2020-02-29
Andres Noetzli
Add support for str.from_code (#3829)
tree
|
commitdiff
2020-02-27
Andrew Reynolds
Refactor operator applications in the parser (#3831)
tree
|
commitdiff
2020-02-27
Haniel Barbosa
Changing TPTP parser to accomodate new API (#3837)
tree
|
commitdiff
2020-02-27
Andrew Reynolds
Update purifySygusGTerm to the new API (#3830)
tree
|
commitdiff
2020-02-27
Andrew Reynolds
Add support for is_digit and regular expression differe...
tree
|
commitdiff
2020-02-27
Andrew Reynolds
Move fix for vacuous sygus types out of the parser...
tree
|
commitdiff
2020-02-26
Andrew Reynolds
More fixes for printing sygus commands (#3812)
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 improvement to ParseOp (#3808)
tree
|
commitdiff
2020-02-26
Andrew Reynolds
Minor cleaning of smt2 parser (#3823)
tree
|
commitdiff
2020-02-26
Andrew Reynolds
Embed mkAssociative utilities within the API. (#3801)
tree
|
commitdiff
2020-02-24
Andrew Reynolds
Convert parser input interface to api::Term (#3809)
tree
|
commitdiff
2020-02-24
Abdalrhman Mohamed
Fix bugs related to printing Sygus commands (#3804)
tree
|
commitdiff
2020-02-21
Andrew Reynolds
Simple changes towards unicode string standard (#3791)
tree
|
commitdiff
2020-02-20
Andrew Reynolds
Remove front-end support for Chain (#3767)
tree
|
commitdiff
2020-02-20
Andres Noetzli
Remove parser from bindings (#3779)
tree
|
commitdiff
2020-02-20
Mathias Preiner
resource manager: Add statistic for every resource...
tree
|
commitdiff
2020-02-17
Haniel Barbosa
Using ParseOp in TPTP (#3764)
tree
|
commitdiff
2020-02-17
Abdalrhman Mohamed
Support dumping Sygus commands. (#3763)
tree
|
commitdiff
2020-02-14
Andrew Reynolds
Remove quantifiers rewrite rules infrastructure (#3754)
tree
|
commitdiff
2020-02-14
Andrew Reynolds
Update sygus v1 parser to use ParseOp utility (#3756)
tree
|
commitdiff
2020-01-07
Andrew Reynolds
Fix unary minus parse check (#3594)
tree
|
commitdiff
2019-12-23
Andrew Reynolds
Initial support for string reverse (#3581)
tree
|
commitdiff
2019-12-17
Andrew Reynolds
Fix spurious parse error for rational real array consta...
tree
|
commitdiff
2019-12-13
Andrew Reynolds
Add support for set comprehension (#3312)
tree
|
commitdiff
2019-12-10
Haniel Barbosa
Fix ufho issues (#3551)
tree
|
commitdiff
2019-12-06
Andrew Reynolds
Add ExprManager as argument to Datatype (#3535)
tree
|
commitdiff
2019-12-02
makaimann
OpTerm Refactor: Allow retrieving OpTerm used to create...
tree
|
commitdiff
2019-11-30
Haniel Barbosa
improving parsing error messages related to HOL (#3510)
tree
|
commitdiff
2019-11-29
Andrew Reynolds
Check free variables in assertions when using SyGuS...
tree
|
commitdiff
2019-11-25
Andrew Reynolds
Better front-end type checking for SyGuS (#3496)
tree
|
commitdiff
2019-11-18
Andres Noetzli
Use -Wimplicit-fallthrough (#3464)
tree
|
commitdiff
2019-11-15
Andrew Reynolds
Fix wrong kind in sygus version 1 parser (#3463)
tree
|
commitdiff
2019-11-13
Andres Noetzli
Allow (set-logic ...) after (reset) (#3457)
tree
|
commitdiff
2019-11-04
Andrew Reynolds
Avoid non-well-founded sygus grammars (#3434)
tree
|
commitdiff
2019-10-27
Andres Noetzli
Fix global-declarations support (#3403)
tree
|
commitdiff
2019-10-11
Andrew Reynolds
Check that logic is set when synth-fun command is encou...
tree
|
commitdiff
2019-10-11
Aina Niemetz
Make order of theories explicit in the source code...
tree
|
commitdiff
2019-10-09
Andres Noetzli
Avoid printing success for `--force-logic` (#3363)
tree
|
commitdiff
2019-10-08
Andres Noetzli
[CVC Parser] Add support for regular expressions (...
tree
|
commitdiff
2019-10-08
Andres Noetzli
[SMT2 Parser] Move code of `rewriterulesCommand` (...
tree
|
commitdiff
2019-10-03
Andres Noetzli
[SMT2 Parser] Move code of `sygusCommand` (#3335)
tree
|
commitdiff
2019-09-30
Andrew Reynolds
Avoid cases of empty sygus grammars (#3301)
tree
|
commitdiff
2019-09-28
Andrew Reynolds
Support smt2 language "match" term (#3258)
tree
|
commitdiff
2019-09-25
Andrew Reynolds
Add isParameterized function to Expr (#3303)
tree
|
commitdiff
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
tree
|
commitdiff
2019-09-16
Aina Niemetz
parser: Improve error message for unrecognized input...
tree
|
commitdiff
2019-09-13
Andrew Reynolds
Disallow let in sygus grammars, check for free variable...
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove parsing/printing of meta-info command. (#3260)
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-18
Andrew Reynolds
Cleaning make bound var in smt2 parser (#3192)
tree
|
commitdiff
2019-08-17
Andrew Reynolds
Mark symbols introduced by named attributes as defined...
tree
|
commitdiff
2019-08-14
Mathias Preiner
cmake: Export CVC4 library interface. (#3179)
tree
|
commitdiff
2019-08-13
Andrew Reynolds
Introduce smt2 parsing utility ParseOp and refactor...
tree
|
commitdiff
2019-08-12
Andrew Reynolds
Clean smt2 parsing of named attributes (#3172)
tree
|
commitdiff
2019-08-10
Andrew Reynolds
Simplify how defined functions are tracked during parsi...
tree
|
commitdiff
2019-08-06
Andrew Reynolds
Properly parse qualified identifiers (#3111)
tree
|
commitdiff
2019-07-31
Haniel Barbosa
Parsing THF and adding several regressions (#3131)
tree
|
commitdiff
2019-07-29
Andrew Reynolds
Model blocker feature (#3112)
tree
|
commitdiff
2019-07-29
Andrew Reynolds
Support get-abduct smt2 command (#3122)
tree
|
commitdiff
2019-07-23
Andrew Reynolds
Fix sygus datatype parsing in sygus v1 format (#3113)
tree
|
commitdiff
2019-07-16
Andrew Reynolds
Add support for str.tolower and str.toupper (#3092)
tree
|
commitdiff
2019-07-01
Andrew Reynolds
Support sygus version 2 format (#3066)
tree
|
commitdiff
2019-06-21
Andres Noetzli
Fix and simplify handling of --force-logic (#3062)
tree
|
commitdiff
2019-06-12
Andres Noetzli
Refactor parser to define fewer tokens for symbols...
tree
|
commitdiff
2019-06-11
Andrew Reynolds
Do not require sygus constructors to be flattened ...
tree
|
commitdiff
2019-05-06
Andres Noetzli
Add support for re.all (#2980)
tree
|
commitdiff
2019-04-30
Andrew Reynolds
Eliminate APPLY kind (#2976)
tree
|
commitdiff
2019-04-26
Aina Niemetz
New C++ API: Clean up API: mkVar vs mkConst vs mkBoundV...
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-04-16
Andres Noetzli
Make bv{add,mul,and,or,xor,xnor} left-associative ...
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
2019-03-19
Andrew Reynolds
Make declare-datatype(s) a standard, non-extended comma...
tree
|
commitdiff
2019-03-19
Aina Niemetz
New C++: Remove redundant mkVar function.
tree
|
commitdiff
2019-03-14
Andrew Reynolds
Implement proper semantics for TPTP predicate is_rat...
tree
|
commitdiff
2019-01-10
Aina Niemetz
New C++ API: Get rid of mkConst functions (simplify...
tree
|
commitdiff
2019-01-03
Andres Noetzli
API/Smt2 parser: refactor termAtomic (#2674)
tree
|
commitdiff
2018-11-27
Andres Noetzli
Reduce lookahead when parsing string literals (#2721)
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-10-18
Haniel Barbosa
Introducing internal commands for SyGuS commands (...
tree
|
commitdiff
2018-10-03
Andres Noetzli
Allow (_ to_fp ...) in strict parsing mode (#2566)
tree
|
commitdiff
2018-09-26
Haniel Barbosa
Makes SyGuS parsing more robust in invariant problems...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Enable -Wall.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add support for cross-compiling for Windows.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: More documentation, clean up.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: FindANTLR: Check if antlr3FileStreamNew is avail...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add make install rule.
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: Add library versioning for libcvc4.so.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Fix some includes.
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
next