projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add support for re.all (#2980)
[cvc5.git]
/
src
/
parser
/
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
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-11
Aina Niemetz
Fixe compiler warning in line_buffer.cpp. (#2453)
tree
|
commitdiff
2018-08-27
Andrew Reynolds
Make division chainable in the smt2 parser (#2367)
tree
|
commitdiff
2018-08-23
Andres Noetzli
Use "filename" instead of "name" in SmtEngine::setInfo...
tree
|
commitdiff
2018-08-22
Andrew Reynolds
Fix processing of nested Variable construct in sygus...
tree
|
commitdiff
2018-08-21
Andrew Reynolds
Warn and enable quantifiers when using sygus + logics...
tree
|
commitdiff
2018-08-20
Andrew Reynolds
Remove support for prototype (non-sygus) synthesis...
tree
|
commitdiff
2018-08-17
Andrew Reynolds
Split sygus grammar to its own ANTLR grammar (#2307)
tree
|
commitdiff
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
tree
|
commitdiff
2018-08-08
Andrew Reynolds
Simplify and improve the sygus parser (#2266)
tree
|
commitdiff
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
tree
|
commitdiff
2018-08-07
Andrew Reynolds
Add RegLan to smt2/sygus parsers. (#2276)
tree
|
commitdiff
2018-08-07
Andrew Reynolds
Remove support for Enum sygus syntax. (#2264)
tree
|
commitdiff
2018-08-02
Andrew Reynolds
Parse standard separation logic inputs (#2257)
tree
|
commitdiff
2018-08-02
Andrew Reynolds
Fix issues with printing parametric datatypes in smt2...
tree
|
commitdiff
2018-07-14
Andrew Reynolds
sygusComp2018: update semantics for declare-fun in...
tree
|
commitdiff
2018-07-02
Andrew Reynolds
Improve error message. (#2124)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-06-05
Andres Noetzli
Only enable transcendentals if logic is N[I]RAT (#2052)
tree
|
commitdiff
2018-05-29
Andres Noetzli
Make user's SMT2 version override file version (#2004)
tree
|
commitdiff
2018-05-29
Andres Noetzli
Track input language in a single place (#2003)
tree
|
commitdiff
2018-05-22
Andrew Reynolds
Parse error for sygus grammar term with multiple let...
tree
|
commitdiff
2018-05-21
Andrew Reynolds
Improvements in parsing and printing related to mixed...
tree
|
commitdiff
2018-05-08
Andrew Reynolds
Support for str.<= and str.< (#1882)
tree
|
commitdiff
2018-05-07
Andrew Reynolds
Add support for str.code (#1821)
tree
|
commitdiff
2018-05-03
Mathias Preiner
Fix redundant internalPush calls. (#1865)
tree
|
commitdiff
2018-05-03
Andrew Reynolds
Support HORN logic string (#1849)
tree
|
commitdiff
2018-05-03
Andrew Reynolds
Initial support for string standard in smt lib 2.6...
tree
|
commitdiff
2018-04-08
Andrew Reynolds
Check free variables in assertions (#1737)
tree
|
commitdiff
2018-04-08
Andrew Reynolds
Do not introduce uinterpreted constants in TPTP parser...
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-03-09
Aina Niemetz
Add support for SMT-LIB v2.5 command get-unsat-assumpti...
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-03-05
Aina Niemetz
Add support for check-sat-assuming. (#1637)
tree
|
commitdiff
2018-02-28
Aina Niemetz
Remove unused code in pushDefineFunRecScop in smt2...
tree
|
commitdiff
2018-02-20
Andrew Reynolds
Minor fixes and additions for transcendental functions...
tree
|
commitdiff
2018-02-09
Tim King
Inlining line_buffered_input to avoid warning about...
tree
|
commitdiff
2018-02-08
Tim King
Fixing more inconsistent usages of override. (#1575)
tree
|
commitdiff
2018-02-07
Andrew Reynolds
Add remaining transcendental functions (#1551)
tree
|
commitdiff
2018-01-10
Tim King
Cleaning up throw specifiers on Exception and subclasse...
tree
|
commitdiff
2018-01-06
Tim King
Removing throw specifiers from src/parser/. (#1486)
tree
|
commitdiff
2017-12-28
Arjun Viswanathan
Rel smt parser (#1446)
tree
|
commitdiff
2017-12-10
Andrew Reynolds
Fix issue 1433. (#1435)
tree
|
commitdiff
2017-12-07
Andrew Reynolds
Add command for define-fun-rec and add to API (#1412)
tree
|
commitdiff
2017-12-01
Andres Noetzli
Fix reset-assertions (#1413)
tree
|
commitdiff
2017-12-01
Andrew Reynolds
Refactor and generalize PBE strategies (#1410)
tree
|
commitdiff
2017-11-29
Tim King
Simplifying the conditions in checkLetBinding to avoid...
tree
|
commitdiff
2017-11-24
Andrew Reynolds
Ho parsing and regressions (#1350)
tree
|
commitdiff
2017-11-22
Andrew Reynolds
Sygus Lambda Grammars (#1390)
tree
|
commitdiff
2017-11-20
Tim King
Removing an unused variable from SygusInput. Resolves...
tree
|
commitdiff
2017-11-07
Tim King
Initializing Smt1::d_logic in all cases. This was resol...
tree
|
commitdiff
2017-11-07
Tim King
Removing an unused member from Tptp. Initializing...
tree
|
commitdiff
2017-11-05
Andrew Reynolds
Make higher-order a flag in logic info. (#1318)
tree
|
commitdiff
2017-11-04
Andrew Reynolds
Suppport SAT logic (#1310)
tree
|
commitdiff
2017-10-27
Andres Noetzli
Modify LDFLAGS to support shared libraries for Win...
tree
|
commitdiff
2017-10-20
Andrew Reynolds
Make Sygus conjectures higher-order (#1244)
tree
|
commitdiff
2017-10-18
Andrew Reynolds
Tptp unsat cores (#1228)
tree
|
commitdiff
2017-10-18
Andrew Reynolds
Strings API escape sequences (#1245)
tree
|
commitdiff
2017-10-12
Andrew Reynolds
Sygus logics (#1226)
tree
|
commitdiff
2017-10-11
Andrew Reynolds
Move unsat core names to smt engine (#1192)
tree
|
commitdiff
2017-10-10
Andrew Reynolds
Split term database (#1206)
tree
|
commitdiff
2017-10-05
Clark Barrett
Fix typo in comment.
tree
|
commitdiff
2017-10-05
Andrew Reynolds
Minor change to how SyGus commands are translated to...
tree
|
commitdiff
2017-10-03
Andrew Reynolds
Op overload parser (#1162)
tree
|
commitdiff
2017-09-27
Andres Noetzli
Fix seeking for buffered input (#1145)
tree
|
commitdiff
2017-09-26
Tim King
Fixing Cid 1172009 (#1141)
tree
|
commitdiff
2017-09-19
Tim King
Removing a potentially invalid comparison in the TPTP...
tree
|
commitdiff
next