projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Eliminate more static uses of rewrite (#8040)
[cvc5.git]
/
src
/
parser
/
2022-02-03
mudathirmahgoub
Add table.product operator (#8020)
tree
|
commitdiff
2022-02-03
Aina Niemetz
Rename kind PLUS -> ADD. (#8036)
tree
|
commitdiff
2022-02-03
Aina Niemetz
api: Rename kinds MINUS -> SUB and UMINUS -> NEG. ...
tree
|
commitdiff
2022-02-02
Aina Niemetz
api: Rename mk<Value> functions for FP for consistency...
tree
|
commitdiff
2022-02-02
mudathirmahgoub
Update datatypes.rst (#8009)
tree
|
commitdiff
2022-02-02
mudathirmahgoub
Fix parser issue with tuple_project operator (#8021)
tree
|
commitdiff
2022-02-01
mudathirmahgoub
Add bag.filter operator (#8006)
tree
|
commitdiff
2022-01-24
Abdalrhman Mohamed
Enable dump tester. (#7884)
tree
|
commitdiff
2022-01-13
Andres Noetzli
Unify abstract values and uninterpreted constants ...
tree
|
commitdiff
2022-01-10
Aina Niemetz
api: Remove Sort::isComparableTo(). (#7903)
tree
|
commitdiff
2022-01-05
Andrew Reynolds
Properly parse arithmetic values (#7876)
tree
|
commitdiff
2022-01-04
mudathirmahgoub
Add bag.member operator to theory of bags (#7857)
tree
|
commitdiff
2021-12-22
Andrew Reynolds
Add support for incremental + interpolants (#7853)
tree
|
commitdiff
2021-12-21
Andrew Reynolds
Support get-abduct-next (#7850)
tree
|
commitdiff
2021-12-20
Andrew Reynolds
Allow SyGuS subsolver to be reused in incremental mode...
tree
|
commitdiff
2021-12-17
Andrew Reynolds
Eliminate more uses of CONST_RATIONAL (#7816)
tree
|
commitdiff
2021-12-13
Andrew Reynolds
Fixes and additions for API for parametric datatypes...
tree
|
commitdiff
2021-12-10
Abdalrhman Mohamed
Mute `define-fun` command generated for named terms...
tree
|
commitdiff
2021-12-07
Andrew Reynolds
Allow sygus in incremental mode (#7756)
tree
|
commitdiff
2021-12-02
mudathirmahgoub
add bag.fold operator (#7718)
tree
|
commitdiff
2021-12-01
Andrew Reynolds
Remove spurious assertion in parser (#7713)
tree
|
commitdiff
2021-12-01
Andrew Reynolds
Define sort undeclared (#7714)
tree
|
commitdiff
2021-11-22
Gereon Kremer
Refactor IO stream manipulators (#7555)
tree
|
commitdiff
2021-11-17
Andres Noetzli
Fix binding of quoted symbols in `define-fun` (#7655)
tree
|
commitdiff
2021-11-15
Aina Niemetz
api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)
tree
|
commitdiff
2021-11-13
mudathirmahgoub
Add operator set.map to theory of sets (#7641)
tree
|
commitdiff
2021-11-12
mudathirmahgoub
bags: Rename kinds with a more consistent naming scheme...
tree
|
commitdiff
2021-11-12
Andres Noetzli
Remove `ConstantMap<Rational>` (#7635)
tree
|
commitdiff
2021-11-10
Aina Niemetz
api: Add Solver::mkRegexpAll(). (#7614)
tree
|
commitdiff
2021-11-10
Andrew Reynolds
Fix parsing array constants (#7617)
tree
|
commitdiff
2021-11-10
Aina Niemetz
sets: Rename set.intersection to set.inter. (#7622)
tree
|
commitdiff
2021-11-09
Aina Niemetz
regex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match...
tree
|
commitdiff
2021-11-09
Gereon Kremer
Remove antlr_tracing.h (#7608)
tree
|
commitdiff
2021-11-08
Aina Niemetz
sets: Rename kinds with a more consistent naming scheme...
tree
|
commitdiff
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
tree
|
commitdiff
2021-11-02
Andrew Reynolds
Improve syntax for fmf cardinality constraints (#7556)
tree
|
commitdiff
2021-10-28
Gereon Kremer
Combine `--static` and `--static-binary` (#7520)
tree
|
commitdiff
2021-10-28
Andrew V. Jones
Add support for checking if a `-Wno` flag exists before...
tree
|
commitdiff
2021-10-28
Abdalrhman Mohamed
Add a `define-fun` command for each `:named` term....
tree
|
commitdiff
2021-10-28
Abdalrhman Mohamed
Fix `(set-info <sexpr>)` parsing and printing bugs...
tree
|
commitdiff
2021-10-27
Gereon Kremer
Fix libpoly build on windows (#7502)
tree
|
commitdiff
2021-10-21
Andrew Reynolds
Make cardinality constraint a nullary operator (#7333)
tree
|
commitdiff
2021-10-21
Gereon Kremer
Working on windows builds (#7381)
tree
|
commitdiff
2021-10-20
Aina Niemetz
api: Add Solver::mkSepEmp(). (#7432)
tree
|
commitdiff
2021-10-20
Andrew Reynolds
Correctly parse uninterpreted constant values in get...
tree
|
commitdiff
2021-10-20
Abdalrhman Mohamed
Avoid escaping `double-quotes` twice. (#7409)
tree
|
commitdiff
2021-10-18
Abdalrhman Mohamed
Move check for experimental arrays features to `theory_...
tree
|
commitdiff
2021-10-14
Andrew Reynolds
Improve parser for tuple select (#7364)
tree
|
commitdiff
2021-10-11
Gereon Kremer
Restore compatibility with cmake 3.9 (#7329)
tree
|
commitdiff
2021-10-01
Andrew Reynolds
Fix ascription check for return types on ordinary funct...
tree
|
commitdiff
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
tree
|
commitdiff
2021-09-30
Gereon Kremer
Refactor our static builds (#7251)
tree
|
commitdiff
2021-09-30
Andrew Reynolds
Simplify the syntax and representation of the separatio...
tree
|
commitdiff
2021-09-29
Abdalrhman Mohamed
Remove support for extended `(check-sat <term>)` comman...
tree
|
commitdiff
2021-09-29
Andrew Reynolds
Update the syntax for tuples in smt2 (#7265)
tree
|
commitdiff
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
tree
|
commitdiff
2021-09-22
Andrew Reynolds
Minimal fixing version for tuple update parsing (#7228)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Add get-difficulty to the API (#7194)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Support sygus version 2.1 command assume (#7081)
tree
|
commitdiff
2021-09-01
Gereon Kremer
No longer use direct access to options in driver (...
tree
|
commitdiff
2021-08-30
mudathirmahgoub
Add kind BAG_MAP and its type rule to bags (#6503)
tree
|
commitdiff
2021-08-27
Gereon Kremer
Handle languages as strings in driver (#7074)
tree
|
commitdiff
2021-08-26
Gereon Kremer
Consolidate language types (#7065)
tree
|
commitdiff
2021-08-23
Aina Niemetz
api: Require size argument for mkBitVector. (#6998)
tree
|
commitdiff
2021-08-20
Andrew Reynolds
Simplify how user-provided quantifier attributes are...
tree
|
commitdiff
2021-08-20
Andrew Reynolds
Support sygus standard command syntax set-feature ...
tree
|
commitdiff
2021-08-03
Andrew Reynolds
Remove "inUnsatCore" flag throughout (#6964)
tree
|
commitdiff
2021-07-07
Aina Niemetz
Rename operator pow2 to int.pow2. (#6849)
tree
|
commitdiff
2021-06-26
yoni206
pow2 -- final changes (#6800)
tree
|
commitdiff
2021-06-23
Haniel Barbosa
[parser] [hol] Fix parser check for allowing functions...
tree
|
commitdiff
2021-06-15
Gereon Kremer
Remove public option wrappers (#6716)
tree
|
commitdiff
2021-06-11
Haniel Barbosa
Better support for HOL parsing and set up (#6697)
tree
|
commitdiff
2021-06-03
Andrew Reynolds
Simplify automatic set-logic in smt2 parser (#6678)
tree
|
commitdiff
2021-06-02
Gereon Kremer
Move public wrapper functions out of options class...
tree
|
commitdiff
2021-05-27
Andres Noetzli
Fix `str.replace_re` and `str.replace_re_all` (#6615)
tree
|
commitdiff
2021-05-27
Aina Niemetz
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...
tree
|
commitdiff
2021-05-21
Aina Niemetz
BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)
tree
|
commitdiff
2021-05-20
Gereon Kremer
Minor improvements to the API (#6585)
tree
|
commitdiff
2021-05-20
Gereon Kremer
Add more getters for api::Term (#6496)
tree
|
commitdiff
2021-05-19
Andres Noetzli
Improve handling of `:named` attributes (#6549)
tree
|
commitdiff
2021-05-14
Andres Noetzli
Decouple parser creation from input selection (#6533)
tree
|
commitdiff
2021-05-13
Andres Noetzli
Always parse streams with line buffer (#6532)
tree
|
commitdiff
2021-05-08
Andrew Reynolds
Add support for datatype update (#6449)
tree
|
commitdiff
2021-04-27
Gereon Kremer
Use std::hash for API types (#6432)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-20
Andrew Reynolds
Add instantiation pool feature to the API (#6358)
tree
|
commitdiff
2021-04-19
Gereon Kremer
Remove linking against gmp and cln in tests and parser...
tree
|
commitdiff
2021-04-15
Aina Niemetz
Rename occurrences of CVC4 to CVC5. (#6351)
tree
|
commitdiff
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
tree
|
commitdiff
2021-04-08
Andrew Reynolds
Initial support for parametric datatypes in sygus ...
tree
|
commitdiff
2021-04-06
Andrew Reynolds
Fix tptp parser for negative rational (#6297)
tree
|
commitdiff
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
tree
|
commitdiff
2021-04-01
Andrew Reynolds
Fix type rule for to_real (#6257)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor GMP and Poly dependencies (#6245)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor SymFPU dependency (#6218)
tree
|
commitdiff
next