projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
make-release: Clarify instructions for pushing commits and tag. (#8524)
2022-04-01
Aina Niemetz
Python API: Do not rename enumerators. (#8507)
commit
|
commitdiff
|
tree
2022-04-01
Aina Niemetz
Python api: Various fixes in docs. (#8480)
commit
|
commitdiff
|
tree
2022-03-31
Aina Niemetz
Various fixes related to isDatatypeXXX checks. (#8473)
commit
|
commitdiff
|
tree
2022-03-31
Aina Niemetz
Sort, TypeNode: Rename functions related to datatypes...
commit
|
commitdiff
|
tree
2022-03-31
Aina Niemetz
api: Remove warning for Sort::instantiate(). (#8475)
commit
|
commitdiff
|
tree
2022-03-31
Aina Niemetz
api: Mark experimental kinds. (#8464)
commit
|
commitdiff
|
tree
2022-03-30
Aina Niemetz
docs: Add bags to list of theory references. (#8461)
commit
|
commitdiff
|
tree
2022-03-30
Aina Niemetz
api: Add Sort::getUninterpretedSortConstructor(). ...
commit
|
commitdiff
|
tree
2022-03-30
Aina Niemetz
TypeNode: Unify functions to instantiate parametric...
commit
|
commitdiff
|
tree
2022-03-30
Aina Niemetz
TypeNode: Rename isSort() and getSortConstructorArity...
commit
|
commitdiff
|
tree
2022-03-29
Aina Niemetz
api: Add Sort::getInstantiatedParameters(). (#8445)
commit
|
commitdiff
|
tree
2022-03-29
Aina Niemetz
TypeNode: Refactor get param types handling. (#8428)
commit
|
commitdiff
|
tree
2022-03-29
Aina Niemetz
api: Add Sort::isInstantiated(). (#8425)
commit
|
commitdiff
|
tree
2022-03-28
Aina Niemetz
api: Remove left-over Sort::getUninterpretedSortName...
commit
|
commitdiff
|
tree
2022-03-26
Aina Niemetz
builtin: Move type rules implementation to .cpp file...
commit
|
commitdiff
|
tree
2022-03-26
Aina Niemetz
api: Rename *SortConstructor* to *UninterpretedSortConstruct...
commit
|
commitdiff
|
tree
2022-03-25
Aina Niemetz
api: More comprehensive documentation of INTERNAL_KIND...
commit
|
commitdiff
|
tree
2022-03-25
Aina Niemetz
api: Remove Sort::isParametricDatatype(). (#8405)
commit
|
commitdiff
|
tree
2022-03-25
Aina Niemetz
api: Rename kind NULL_EXPR to NULL_TERM. (#8402)
commit
|
commitdiff
|
tree
2022-03-25
Aina Niemetz
api: Remove blocks in kinds header. (#8398)
commit
|
commitdiff
|
tree
2022-03-25
Aina Niemetz
api: Refactor kinds documentation. (#8384)
commit
|
commitdiff
|
tree
2022-03-17
Aina Niemetz
ctest: Fix labels for python unit tests. (#8328)
commit
|
commitdiff
|
tree
2022-03-17
Aina Niemetz
api: Fix documentation for *TO_FP* kinds. (#8329)
commit
|
commitdiff
|
tree
2022-03-17
Aina Niemetz
api: Fix documentation for UNINTERPRETED_SORT_VALUE...
commit
|
commitdiff
|
tree
2022-03-16
Aina Niemetz
Add unit test and assertion to test and catch cvc5...
commit
|
commitdiff
|
tree
2022-03-16
Aina Niemetz
First step towards refactoring regression tests. (...
commit
|
commitdiff
|
tree
2022-03-15
Aina Niemetz
api: Remove Sort::isFirstClass(). (#8312)
commit
|
commitdiff
|
tree
2022-03-15
Aina Niemetz
Rename TO_FP operator kinds. (#8285)
commit
|
commitdiff
|
tree
2022-03-11
Aina Niemetz
api: Make checks header private. (#8283)
commit
|
commitdiff
|
tree
2022-02-04
Aina Niemetz
FP: Rename tester kinds. (#8037)
commit
|
commitdiff
|
tree
2022-02-03
Aina Niemetz
Rename kind PLUS -> ADD. (#8036)
commit
|
commitdiff
|
tree
2022-02-03
Aina Niemetz
api: Remove obsolete function declaration in Cython...
commit
|
commitdiff
|
tree
2022-02-03
Aina Niemetz
api: Rename kinds MINUS -> SUB and UMINUS -> NEG. ...
commit
|
commitdiff
|
tree
2022-02-03
Aina Niemetz
api: Add explicit guard for option produce-assertions...
commit
|
commitdiff
|
tree
2022-02-02
Aina Niemetz
Rename kinds MINUS -> SUB and UMINUS -> NEG. (#8035)
commit
|
commitdiff
|
tree
2022-02-02
Aina Niemetz
api: Rename mk<Value> functions for FP for consistency...
commit
|
commitdiff
|
tree
2022-01-27
Aina Niemetz
Update AUTHORS und copyright of docs configuration...
commit
|
commitdiff
|
tree
2022-01-11
Aina Niemetz
api: Fix formatting of docs for Term::getSetValue(...
commit
|
commitdiff
|
tree
2022-01-10
Aina Niemetz
api: Remove Sort::isComparableTo(). (#7903)
commit
|
commitdiff
|
tree
2022-01-05
Aina Niemetz
cppapi: Remove Datatype::hasNestedRecursion(). (#7878)
commit
|
commitdiff
|
tree
2022-01-05
Aina Niemetz
api: Add missing guard for Datatype::isFinite(). (...
commit
|
commitdiff
|
tree
2022-01-04
Aina Niemetz
Reorder NodeManager class according to code guidelines...
commit
|
commitdiff
|
tree
2022-01-04
Aina Niemetz
api: Add unit test for null case of Sort::toString...
commit
|
commitdiff
|
tree
2022-01-04
Aina Niemetz
api: Remove redundant check in Term::toString(). (...
commit
|
commitdiff
|
tree
2022-01-03
Aina Niemetz
api: Remove redundant check in Sort::toString(). (...
commit
|
commitdiff
|
tree
2021-12-17
Aina Niemetz
api: java: Support default arity for Solver::mkUnresolvedSor...
commit
|
commitdiff
|
tree
2021-12-17
Aina Niemetz
api: Rename DatatypeSelector::getRangeSort() to getCodomainS...
commit
|
commitdiff
|
tree
2021-12-17
Aina Niemetz
api: Add Solver::mkUnresolvedSort(). (#7817)
commit
|
commitdiff
|
tree
2021-12-16
Aina Niemetz
api: Add Sort::hasSymbol() and Sort::getSymbol(). ...
commit
|
commitdiff
|
tree
2021-12-15
Aina Niemetz
api: Fix smt-lib code blocks and math in C++ docs....
commit
|
commitdiff
|
tree
2021-12-14
Aina Niemetz
api: Add note to Solver::mkDatatypeSorts. (#7799)
commit
|
commitdiff
|
tree
2021-12-10
Aina Niemetz
api: Use 'note' constructs for API documentation. ...
commit
|
commitdiff
|
tree
2021-12-10
Aina Niemetz
Reorganize declareDatatype unit tests. (#7767)
commit
|
commitdiff
|
tree
2021-12-09
Aina Niemetz
api: Add note to Sort::getTesterCodomainSort(). (#7776)
commit
|
commitdiff
|
tree
2021-12-08
Aina Niemetz
api: Improve documentation for getDatatypeParamSorts...
commit
|
commitdiff
|
tree
2021-12-08
Aina Niemetz
api: Fix Sort::getDatatypeArity() for non-parametric...
commit
|
commitdiff
|
tree
2021-12-08
Aina Niemetz
FP: Remove static call to Rewriter. (#7765)
commit
|
commitdiff
|
tree
2021-12-03
Aina Niemetz
api: Fix docs for TUPLE_PROJECT. (#7741)
commit
|
commitdiff
|
tree
2021-11-25
Aina Niemetz
api: Refactor mkTerm for kinds with arity = 0. (#7699)
commit
|
commitdiff
|
tree
2021-11-24
Aina Niemetz
examples: Update python api datatypes example. (#7692)
commit
|
commitdiff
|
tree
2021-11-24
Aina Niemetz
examples: Update Java datatypes example with recent...
commit
|
commitdiff
|
tree
2021-11-24
Aina Niemetz
examples: Extend DT api example with APPLY_TESTER and...
commit
|
commitdiff
|
tree
2021-11-24
Aina Niemetz
api: Fix creation of nary term kinds via Op. (#7688)
commit
|
commitdiff
|
tree
2021-11-18
Aina Niemetz
api: Fix categorization of DT kinds in kind maps. ...
commit
|
commitdiff
|
tree
2021-11-18
Aina Niemetz
api: Fix kind documentation for BAG_MAKE. (#7663)
commit
|
commitdiff
|
tree
2021-11-15
Aina Niemetz
api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)
commit
|
commitdiff
|
tree
2021-11-10
Aina Niemetz
api: Add Solver::mkRegexpAll(). (#7614)
commit
|
commitdiff
|
tree
2021-11-10
Aina Niemetz
sets: Rename set.intersection to set.inter. (#7622)
commit
|
commitdiff
|
tree
2021-11-10
Aina Niemetz
Reorganize test/unit/api directory. (#7612)
commit
|
commitdiff
|
tree
2021-11-09
Aina Niemetz
Clean up ctest configuration and CI test configuration...
commit
|
commitdiff
|
tree
2021-11-09
Aina Niemetz
sets: Update theory reference and smt2 examples. (...
commit
|
commitdiff
|
tree
2021-11-09
Aina Niemetz
regex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match...
commit
|
commitdiff
|
tree
2021-11-08
Aina Niemetz
sets: Rename kinds with a more consistent naming scheme...
commit
|
commitdiff
|
tree
2021-11-03
Aina Niemetz
api: Rename some separation logic functions for consistency...
commit
|
commitdiff
|
tree
2021-11-03
Aina Niemetz
Add unit test to cover previous failure with second...
commit
|
commitdiff
|
tree
2021-11-01
Aina Niemetz
api: Fix documentation for kind IAND. (#7536)
commit
|
commitdiff
|
tree
2021-10-21
Aina Niemetz
docs: Use light gray for background on the right. ...
commit
|
commitdiff
|
tree
2021-10-20
Aina Niemetz
api: Add Solver::mkSepEmp(). (#7432)
commit
|
commitdiff
|
tree
2021-10-20
Aina Niemetz
api: Improve documentation for special cases with nullary...
commit
|
commitdiff
|
tree
2021-10-20
Aina Niemetz
api: Rename get(BV|FP)*Size functions for consistency...
commit
|
commitdiff
|
tree
2021-10-12
Aina Niemetz
Clean up occurrences of SmtEngine in comments. (#7349)
commit
|
commitdiff
|
tree
2021-10-12
Aina Niemetz
Get rid of unused member d_smtStats in ExpandDefs....
commit
|
commitdiff
|
tree
2021-10-12
Aina Niemetz
Rename SmtEngineState to SolverEngineState. (#7344)
commit
|
commitdiff
|
tree
2021-10-11
Aina Niemetz
Rename SmtEngineStatistics to SolverEngineStatistics...
commit
|
commitdiff
|
tree
2021-10-11
Aina Niemetz
Rename SmtScope to SolverEngineScope. (#7284)
commit
|
commitdiff
|
tree
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
commit
|
commitdiff
|
tree
2021-09-30
Aina Niemetz
Rename files smt_engine.(cpp|h) to solver_engine.(cpp...
commit
|
commitdiff
|
tree
2021-09-22
Aina Niemetz
arrays: Use EnvObj::rewrite and EnvObj::options. (...
commit
|
commitdiff
|
tree
2021-09-22
Aina Niemetz
arrays: Move type enumerator implementation to .cpp...
commit
|
commitdiff
|
tree
2021-09-21
Aina Niemetz
README: Fix link to INSTALL.rst. (#7222)
commit
|
commitdiff
|
tree
2021-09-20
Aina Niemetz
TheoryModel: Use EnvObj::rewrite instead of Rewriter...
commit
|
commitdiff
|
tree
2021-09-13
Aina Niemetz
FP: Rename FpConverter to FpWordBlaster. (#7170)
commit
|
commitdiff
|
tree
2021-09-11
Aina Niemetz
checkModel: Extend documentation. (#7177)
commit
|
commitdiff
|
tree
2021-09-10
Aina Niemetz
FP: Enable caching in the theory inference manager...
commit
|
commitdiff
|
tree
2021-09-10
Aina Niemetz
FP: Use EnvObj::rewrite() and options() in theory_fp...
commit
|
commitdiff
|
tree
2021-09-10
Aina Niemetz
FP: Do not send trivial lemmas. (#7167)
commit
|
commitdiff
|
tree
2021-09-09
Aina Niemetz
pp passes: Use EnvObj::rewrite() instead of Rewriter...
commit
|
commitdiff
|
tree
2021-09-07
Aina Niemetz
sygus: Eliminate calls to Rewriter::rewrite. (#7142)
commit
|
commitdiff
|
tree
2021-09-03
Aina Niemetz
EnvObj: Add options(), context(), userContext(). (...
commit
|
commitdiff
|
tree
2021-09-03
Aina Niemetz
sygus: Make more classes derive from EnvObj. (#7140)
commit
|
commitdiff
|
tree
next