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
/
api
/
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: Remove obsolete function declaration in Cython...
tree
|
commitdiff
2022-02-03
Aina Niemetz
api: Rename kinds MINUS -> SUB and UMINUS -> NEG. ...
tree
|
commitdiff
2022-02-03
Aina Niemetz
api: Add explicit guard for option produce-assertions...
tree
|
commitdiff
2022-02-02
Alex Ozdemir
Change name of Python API's package from pycvc5 to...
tree
|
commitdiff
2022-02-02
Aina Niemetz
Rename kinds MINUS -> SUB and UMINUS -> NEG. (#8035)
tree
|
commitdiff
2022-02-02
Aina Niemetz
api: Rename mk<Value> functions for FP for consistency...
tree
|
commitdiff
2022-02-01
mudathirmahgoub
Add bag.filter operator (#8006)
tree
|
commitdiff
2022-01-27
Andrew Reynolds
Document substitute in API (#7904)
tree
|
commitdiff
2022-01-18
Andres Noetzli
[API] Add missing arity check (#7905)
tree
|
commitdiff
2022-01-13
Andres Noetzli
Unify abstract values and uninterpreted constants ...
tree
|
commitdiff
2022-01-11
Aina Niemetz
api: Fix formatting of docs for Term::getSetValue(...
tree
|
commitdiff
2022-01-10
Andrew Reynolds
Check arity in Sort::instantiate (#7897)
tree
|
commitdiff
2022-01-10
Aina Niemetz
api: Remove Sort::isComparableTo(). (#7903)
tree
|
commitdiff
2022-01-10
Matthew Sotoudeh
Avoid gcc/10.1.0 bug by moving some configuration into...
tree
|
commitdiff
2022-01-06
Andrew Reynolds
Make alpha equivalence user context dependent (#7889)
tree
|
commitdiff
2022-01-05
Aina Niemetz
cppapi: Remove Datatype::hasNestedRecursion(). (#7878)
tree
|
commitdiff
2022-01-05
Aina Niemetz
api: Add missing guard for Datatype::isFinite(). (...
tree
|
commitdiff
2022-01-05
Alex Ozdemir
Don't use python's collections.Set (#7875)
tree
|
commitdiff
2022-01-05
yoni206
Properly set __file__ in python bindings (#7867)
tree
|
commitdiff
2022-01-04
mudathirmahgoub
Add bag.member operator to theory of bags (#7857)
tree
|
commitdiff
2022-01-04
yoni206
Adding interpolation and abduction to the python API...
tree
|
commitdiff
2022-01-04
Aina Niemetz
api: Remove redundant check in Term::toString(). (...
tree
|
commitdiff
2022-01-03
Aina Niemetz
api: Remove redundant check in Sort::toString(). (...
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
Aina Niemetz
api: java: Support default arity for Solver::mkUnresolv...
tree
|
commitdiff
2021-12-17
Andrew Reynolds
Minor refactoring of API for eliminating arithmetic...
tree
|
commitdiff
2021-12-17
Andrew Reynolds
Get getRealOrIntegerValueSign to the API (#7832)
tree
|
commitdiff
2021-12-17
Aina Niemetz
api: Rename DatatypeSelector::getRangeSort() to getCodo...
tree
|
commitdiff
2021-12-17
Aina Niemetz
api: Add Solver::mkUnresolvedSort(). (#7817)
tree
|
commitdiff
2021-12-16
Aina Niemetz
api: Add Sort::hasSymbol() and Sort::getSymbol(). ...
tree
|
commitdiff
2021-12-15
Aina Niemetz
api: Fix smt-lib code blocks and math in C++ docs....
tree
|
commitdiff
2021-12-14
Andrew Reynolds
Throw exception for getting value of non-well-founded...
tree
|
commitdiff
2021-12-14
Aina Niemetz
api: Add note to Solver::mkDatatypeSorts. (#7799)
tree
|
commitdiff
2021-12-13
Andrew Reynolds
Fixes and additions for API for parametric datatypes...
tree
|
commitdiff
2021-12-10
Aina Niemetz
api: Use 'note' constructs for API documentation. ...
tree
|
commitdiff
2021-12-10
Andrew Reynolds
Refactor and fixes related to getSpecializedConstructor...
tree
|
commitdiff
2021-12-09
Aina Niemetz
api: Add note to Sort::getTesterCodomainSort(). (#7776)
tree
|
commitdiff
2021-12-08
Gereon Kremer
Turn kinds in python API into a proper Enum (#7686)
tree
|
commitdiff
2021-12-08
Aina Niemetz
api: Improve documentation for getDatatypeParamSorts...
tree
|
commitdiff
2021-12-08
Aina Niemetz
api: Fix Sort::getDatatypeArity() for non-parametric...
tree
|
commitdiff
2021-12-03
Aina Niemetz
api: Fix docs for TUPLE_PROJECT. (#7741)
tree
|
commitdiff
2021-12-03
Andrew Reynolds
Proper error for using constructor in multiple datatype...
tree
|
commitdiff
2021-12-02
Gereon Kremer
Add explicit 64bit getters for Integer class (#7728)
tree
|
commitdiff
2021-12-02
mudathirmahgoub
add bag.fold operator (#7718)
tree
|
commitdiff
2021-12-01
Mathias Preiner
api: Add missing bit-width 0 check to mkBVFromStrHelper...
tree
|
commitdiff
2021-12-01
mudathirmahgoub
Enable Java examples (#7702)
tree
|
commitdiff
2021-11-25
Aina Niemetz
api: Refactor mkTerm for kinds with arity = 0. (#7699)
tree
|
commitdiff
2021-11-24
Aina Niemetz
api: Fix creation of nary term kinds via Op. (#7688)
tree
|
commitdiff
2021-11-23
yoni206
Python API documentation: terms (#7659)
tree
|
commitdiff
2021-11-19
Andres Noetzli
[API] Avoid copying values (#7666)
tree
|
commitdiff
2021-11-18
Aina Niemetz
api: Fix categorization of DT kinds in kind maps. ...
tree
|
commitdiff
2021-11-18
Aina Niemetz
api: Fix kind documentation for BAG_MAKE. (#7663)
tree
|
commitdiff
2021-11-17
Alex Ozdemir
Update Python packaging infrastructure (#7654)
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-12
Gereon Kremer
Various minor docs improvements (#7626)
tree
|
commitdiff
2021-11-11
Abdalrhman Mohamed
Add an API method to get the raw name of a term. (...
tree
|
commitdiff
2021-11-11
Andrew Reynolds
Generalize front-end checks to check for shadowed varia...
tree
|
commitdiff
2021-11-11
Andrew Reynolds
Add lazy approach for handling lambdas in the HO extens...
tree
|
commitdiff
2021-11-10
Aina Niemetz
api: Add Solver::mkRegexpAll(). (#7614)
tree
|
commitdiff
2021-11-10
Mathias Preiner
java: Fix building cvc5.jar for cmake 3.16. (#7623)
tree
|
commitdiff
2021-11-10
Aina Niemetz
sets: Rename set.intersection to set.inter. (#7622)
tree
|
commitdiff
2021-11-09
Abdalrhman Mohamed
Remove redundant rules for generating Java and Python...
tree
|
commitdiff
2021-11-09
Aina Niemetz
regex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match...
tree
|
commitdiff
2021-11-08
Aina Niemetz
sets: Rename kinds with a more consistent naming scheme...
tree
|
commitdiff
2021-11-06
Gereon Kremer
Integrate java unit tests into ctest (#7593)
tree
|
commitdiff
2021-11-06
Abdalrhman Mohamed
Print `unsupported` for unrecognized flags. (#7384)
tree
|
commitdiff
2021-11-06
Gereon Kremer
Remove `Notice()` in favor of new `verbose()` (#7588)
tree
|
commitdiff
2021-11-05
Gereon Kremer
Fix some issues with the java api (#7583)
tree
|
commitdiff
2021-11-04
Gereon Kremer
Start refactoring of `-o` and `-v` (#7449)
tree
|
commitdiff
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
tree
|
commitdiff
2021-11-03
Aina Niemetz
api: Rename some separation logic functions for consist...
tree
|
commitdiff
2021-11-03
mudathirmahgoub
Enable CI for Junit tests (#7436)
tree
|
commitdiff
2021-11-01
Aina Niemetz
api: Fix documentation for kind IAND. (#7536)
tree
|
commitdiff
2021-10-31
Mathias Preiner
api: Add guard against querying value from term with...
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
Gereon Kremer
Remove separate cpp docs for UnknownExplanation (#7516)
tree
|
commitdiff
2021-10-27
Andrew Reynolds
Add missing API checks to getValue (#7475)
tree
|
commitdiff
2021-10-27
yoni206
Python api documentation for sorts (#7440)
tree
|
commitdiff
2021-10-27
mudathirmahgoub
Fix mac compile errors in sort.cpp (#7507)
tree
|
commitdiff
2021-10-25
Andrew Reynolds
Java and python unit tests for mkCardinalityConstraint...
tree
|
commitdiff
2021-10-24
mudathirmahgoub
Delete redundant file option_Info.cpp (#7477)
tree
|
commitdiff
2021-10-22
mudathirmahgoub
Refactor java package name from cvc5 to io.github.cvc5...
tree
|
commitdiff
2021-10-22
mudathirmahgoub
Add missing methods to Solver.java (#7299)
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
Aina Niemetz
api: Improve documentation for special cases with nulla...
tree
|
commitdiff
2021-10-20
yoni206
Add `isNull` and `isUpdater` to `Sort` class of python...
tree
|
commitdiff
2021-10-20
Andrew Reynolds
Check whether abduct option is enabled (#7418)
tree
|
commitdiff
2021-10-20
Aina Niemetz
api: Rename get(BV|FP)*Size functions for consistency...
tree
|
commitdiff
2021-10-15
yoni206
Python api documentation: Op, Grammar, Result, Enums...
tree
|
commitdiff
2021-10-15
Alex Ozdemir
Fix bad cast in the python API (#7359)
tree
|
commitdiff
next