projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add information for cardinality constraint to the Python API (#8444)
[cvc5.git]
/
src
/
api
/
python
/
cvc5.pxi
2022-03-30
yoni206
Add information for cardinality constraint to the Pytho...
blob
|
commitdiff
|
raw
2022-03-30
yoni206
Adding some missing python API methods and tests (...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Mathias Preiner
Introduce internal namespace and remove api namespace...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Aina Niemetz
api: Add Sort::getInstantiatedParameters(). (#8445)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Andres Noetzli
[API] Add `{is,get}RoundingModeValue()` (#8429)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Aina Niemetz
api: Add Sort::isInstantiated(). (#8425)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Andres Noetzli
Move `RoundingMode` to `cvc5_types.h` (#8427)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Andrew Reynolds
Mark more methods as experimental (#8426)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Mathias Preiner
Rename get-interpol to get-interpolant. (#8424)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Andres Noetzli
[API] Mark methods as experimental (#8249)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-26
Aina Niemetz
api: Rename *SortConstructor* to *UninterpretedSortCons...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Mathias Preiner
api: Unify mkOp variants. (#8369)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Aina Niemetz
api: Remove Sort::isParametricDatatype(). (#8405)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Andrew Reynolds
Update checkSynth and checkSynthNext to return SynthRes...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Andrew Reynolds
Properly guard commands in the SyGuS API (#8390)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-23
Andrew Reynolds
Add SynthResult to the API (#8370)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-23
Gereon Kremer
Add `getOptionInfo()` and `getOptionNames()` to python...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-22
Andrew Reynolds
Refactor result class (#8313)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-22
Andres Noetzli
[API] Support `Op::operator[]` in Java and Python ...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-21
Andres Noetzli
Remove `Op::getIndices()` (#8355)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-20
Gereon Kremer
Add `getStatistics()` to python API (#8343)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-15
Aina Niemetz
api: Remove Sort::isFirstClass(). (#8312)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-14
Andrew Reynolds
Remove unecessary methods from the API (#8260)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Andres Noetzli
[API/Python] Add support for `Solver::getModel()` ...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Andrew Reynolds
Update abduction and interpolation API to not use pass...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-09
Andrew Reynolds
Change interface for printing instantiations in the...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-08
Andres Noetzli
[API/Python] Add support for `Solver::getProof()` ...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Andres Noetzli
Update documentation of `Solver::getUnsatCore()` (...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Gereon Kremer
Fix docs warnings (#8019)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Andrew Reynolds
Add support for get learned literals in the API (#8099)
blob
|
commitdiff
|
raw
|
diff to current
2022-02-25
Andres Noetzli
[Python API] Add support for blocking models (#8134)
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Alex Ozdemir
Change name of Python API's package from pycvc5 to...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Aina Niemetz
api: Rename mk<Value> functions for FP for consistency...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-27
Andrew Reynolds
Document substitute in API (#7904)
blob
|
commitdiff
|
raw
|
diff to current
2022-01-13
Andres Noetzli
Unify abstract values and uninterpreted constants ...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-10
Aina Niemetz
api: Remove Sort::isComparableTo(). (#7903)
blob
|
commitdiff
|
raw
|
diff to current
2022-01-05
Aina Niemetz
cppapi: Remove Datatype::hasNestedRecursion(). (#7878)
blob
|
commitdiff
|
raw
|
diff to current
2022-01-05
Alex Ozdemir
Don't use python's collections.Set (#7875)
blob
|
commitdiff
|
raw
|
diff to current
2022-01-04
yoni206
Adding interpolation and abduction to the python API...
blob
|
commitdiff
|
raw
|
diff to current
2021-12-20
Andrew Reynolds
Allow SyGuS subsolver to be reused in incremental mode...
blob
|
commitdiff
|
raw
|
diff to current
2021-12-17
Andrew Reynolds
Get getRealOrIntegerValueSign to the API (#7832)
blob
|
commitdiff
|
raw
|
diff to current
2021-12-17
Aina Niemetz
api: Rename DatatypeSelector::getRangeSort() to getCodo...
blob
|
commitdiff
|
raw
|
diff to current
2021-12-17
Aina Niemetz
api: Add Solver::mkUnresolvedSort(). (#7817)
blob
|
commitdiff
|
raw
|
diff to current
2021-12-16
Aina Niemetz
api: Add Sort::hasSymbol() and Sort::getSymbol(). ...
blob
|
commitdiff
|
raw
|
diff to current
2021-12-13
Andrew Reynolds
Fixes and additions for API for parametric datatypes...
blob
|
commitdiff
|
raw
|
diff to current
2021-12-10
Aina Niemetz
api: Use 'note' constructs for API documentation. ...
blob
|
commitdiff
|
raw
|
diff to current
2021-12-08
Gereon Kremer
Turn kinds in python API into a proper Enum (#7686)
blob
|
commitdiff
|
raw
|
diff to current
2021-12-08
Aina Niemetz
api: Improve documentation for getDatatypeParamSorts...
blob
|
commitdiff
|
raw
|
diff to current
2021-11-23
yoni206
Python API documentation: terms (#7659)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-11
Abdalrhman Mohamed
Add an API method to get the raw name of a term. (...
blob
|
commitdiff
|
raw
|
diff to current
2021-11-10
Aina Niemetz
api: Add Solver::mkRegexpAll(). (#7614)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-09
Aina Niemetz
regex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match...
blob
|
commitdiff
|
raw
|
diff to current
2021-11-03
Aina Niemetz
api: Rename some separation logic functions for consist...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-28
Abdalrhman Mohamed
Add a `define-fun` command for each `:named` term....
blob
|
commitdiff
|
raw
|
diff to current
2021-10-28
Gereon Kremer
Remove separate cpp docs for UnknownExplanation (#7516)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-27
yoni206
Python api documentation for sorts (#7440)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-25
Andrew Reynolds
Java and python unit tests for mkCardinalityConstraint...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-20
Aina Niemetz
api: Add Solver::mkSepEmp(). (#7432)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-20
yoni206
Add `isNull` and `isUpdater` to `Sort` class of python...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-20
Aina Niemetz
api: Rename get(BV|FP)*Size functions for consistency...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-15
yoni206
Python api documentation: Op, Grammar, Result, Enums...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-15
Alex Ozdemir
Fix bad cast in the python API (#7359)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-04
Gereon Kremer
Various improvements to documentation (#7283)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-01
Gereon Kremer
Fix some python docstrings which lead to sphinx warning...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-20
Alex Ozdemir
Start python API Solver documentation (#7064)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-30
yoni206
python docs for Datatype-related classes (#7058)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-27
Andrew Reynolds
Add missing methods to Solver API for models (#7052)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-27
yoni206
Add `isNull` to cpp api tests, python api, and python...
blob
|
commitdiff
|
raw
|
diff to current
2021-08-23
yoni206
Adding parameters to Datatype python API documentation...
blob
|
commitdiff
|
raw
|
diff to current
2021-08-23
Aina Niemetz
api: Require size argument for mkBitVector. (#6998)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-20
Gereon Kremer
Make driver use options from the solver (#6930)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-22
yoni206
python api unit tests for Op (#6785)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-22
yoni206
Python api unit tests for Result (#6763)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-19
Ying Sheng
Adding python API test part 5 (#6743)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-16
Aina Niemetz
Make symfpu a required dependency. (#6749)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-08
Alex Ozdemir
Change output of getRealValue to a fraction. (#6692)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-03
yoni206
Adding unit tests for the datatypes python API (#6658)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-02
yoni206
Adding getters to the python API and testing them ...
blob
|
commitdiff
|
raw
|
diff to current
2021-06-01
yoni206
Some additions to the datatypes python API (#6640)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-01
yoni206
FP value support in python API (#6644)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-31
yoni206
Update `toPythonObj` to use new getters -- part 1 ...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-28
yoni206
Python API: bugfix + translating tests from cpp unit...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-20
yoni206
Avoid using printSynthSolution in the python API and...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-20
Gereon Kremer
Minor improvements to the API (#6585)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-20
Gereon Kremer
Add more getters for api::Term (#6496)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-13
yoni206
Adding functions to the python API and testing them...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-13
Alex Ozdemir
Fix error message in toPythonObj (#6524)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-08
yoni206
Adding functions to the python API and testing them...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-08
Andrew Reynolds
Add support for datatype update (#6449)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-07
makaimann
Fix for toPythonObj of integer value with real sort...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-27
Gereon Kremer
Initial setup for docs of python API (#6445)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-27
Gereon Kremer
Use std::hash for API types (#6432)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
blob
|
commitdiff
|
raw
|
diff to current