projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2022-04-01
Gereon Kremer
Change CI concurrency policy to not queue on main ...
commit
|
commitdiff
|
tree
2022-04-01
Gereon Kremer
Document special member functions in python API (#8513)
commit
|
commitdiff
|
tree
2022-04-01
Aina Niemetz
Python API: Do not rename enumerators. (#8507)
commit
|
commitdiff
|
tree
2022-04-01
Haniel Barbosa
[proofs] [alethe] Fix Alethe post-processor (#8525)
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Start post-release for 0.0.10
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Bump version to 0.0.10
commit
|
commitdiff
|
tree
2022-04-01
Andrew Reynolds
Internal simplifications to constructing datatypes...
commit
|
commitdiff
|
tree
2022-04-01
Gereon Kremer
Fix pypi packaging trigger again (#8512)
commit
|
commitdiff
|
tree
2022-04-01
Haniel Barbosa
[proofs] [doc] Minor changes to general proofs page...
commit
|
commitdiff
|
tree
2022-04-01
Gereon Kremer
Remove decorator from python API (#8505)
commit
|
commitdiff
|
tree
2022-04-01
Andres Noetzli
[API] Add mode argument for `Solver::blockModel()`...
commit
|
commitdiff
|
tree
2022-04-01
Andres Noetzli
Remove `UnknownExplanation::NO_STATUS` (#8518)
commit
|
commitdiff
|
tree
2022-04-01
mudathirmahgoub
Fix javadoc custom tag warning (#8502)
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
docs: Add documentation for modes. (#8509)
commit
|
commitdiff
|
tree
2022-04-01
Aina Niemetz
Python api: Various fixes in docs. (#8480)
commit
|
commitdiff
|
tree
2022-04-01
Andres Noetzli
[API] Remove redundant version of `mkFunctionSort`...
commit
|
commitdiff
|
tree
2022-04-01
Andrew Reynolds
Fix sygus-inst when combined with bounded string quanti...
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
api: Swap arguments of declareSygusVar. (#8499)
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
api: Use std::optional for symbols in mk* functions...
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
make-release: Change instructions for pushing tag.
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Start post-release for 0.0.9
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Bump version to 0.0.9
commit
|
commitdiff
|
tree
2022-04-01
Gereon Kremer
Also run on created. (#8506)
commit
|
commitdiff
|
tree
2022-03-31
Ying Sheng
Add documentation for sequences (#8496)
commit
|
commitdiff
|
tree
2022-03-31
mudathirmahgoub
Fix bag example links (#8504)
commit
|
commitdiff
|
tree
2022-03-31
Andrew Reynolds
Handled quoted symbols in indexed operators (#8491)
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
Andrew Reynolds
Disable minisat variable elimination when a parametric...
commit
|
commitdiff
|
tree
2022-03-31
Andres Noetzli
Remove examples that use the old API (#8486)
commit
|
commitdiff
|
tree
2022-03-31
Aina Niemetz
api: Remove warning for Sort::instantiate(). (#8475)
commit
|
commitdiff
|
tree
2022-03-31
Andrew Reynolds
Do not export dt.size (#8483)
commit
|
commitdiff
|
tree
2022-03-31
Andrew Reynolds
Fix check for whether PI is reduced (#8485)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
ci: Fix typo in update-pr job. (#8492)
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Improve documentation for Statistics in C++ API (#8476)
commit
|
commitdiff
|
tree
2022-03-31
Haniel Barbosa
[proofs] Adding post-visit processing to proof node...
commit
|
commitdiff
|
tree
2022-03-31
Andres Noetzli
Remove support for Python 2.x (#8488)
commit
|
commitdiff
|
tree
2022-03-31
mudathirmahgoub
Add examples/bags.cpp (#8463)
commit
|
commitdiff
|
tree
2022-03-31
Andres Noetzli
Fix Java examples (#8484)
commit
|
commitdiff
|
tree
2022-03-31
Andrew Reynolds
Fix lower vs upper bound issue for eager RE conflicts...
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Install necessary packages (#8479)
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Only run update-pr for normal commits on main (#8478)
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Improve documentation for OptionInfo (#8474)
commit
|
commitdiff
|
tree
2022-03-31
Andres Noetzli
Move Java package to `io.github.cvc5` (#8469)
commit
|
commitdiff
|
tree
2022-03-31
Haniel Barbosa
[proofs] [doc] Documenting arrays, bit-vectors, datatyp...
commit
|
commitdiff
|
tree
2022-03-31
Haniel Barbosa
[proofs] [doc] Document equality rules (#8462)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
docs: Remove api namespace. (#8455)
commit
|
commitdiff
|
tree
2022-03-31
Andrew Reynolds
Fix non-termination in the strings rewriter (#8438)
commit
|
commitdiff
|
tree
2022-03-31
Aina Niemetz
api: Mark experimental kinds. (#8464)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
Start post-release for 0.0.8
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
Bump version to 0.0.8
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
ci: Do not cancel jobs on main branch. (#8471)
commit
|
commitdiff
|
tree
2022-03-31
Andrew Reynolds
Fix case of Boolean skolem for ground term E-matching...
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
ci: Update older PRs first. (#8477)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
api: Remove isUninterpretedSortParameterized from heade...
commit
|
commitdiff
|
tree
2022-03-30
Gereon Kremer
Allow for multiple (equal) base model values (#8467)
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Exclude competition build for issue8377-resolve-indexed...
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Move cvc5::internal::context to cvc5::context. (#8451)
commit
|
commitdiff
|
tree
2022-03-30
mudathirmahgoub
Patch cross reference in Kind.java documentation (...
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
Andrew Reynolds
Fix policy for purifying arguments of exp (#8416)
commit
|
commitdiff
|
tree
2022-03-30
Andrew Reynolds
Fixes for sygus-inst (#8448)
commit
|
commitdiff
|
tree
2022-03-30
Andrew Reynolds
Fix subtype issue in cegqi arithmetic (#8440)
commit
|
commitdiff
|
tree
2022-03-30
Aina Niemetz
TypeNode: Unify functions to instantiate parametric...
commit
|
commitdiff
|
tree
2022-03-30
Andres Noetzli
[API] Move `UnknownExplanation` to `cvc5_types.h` ...
commit
|
commitdiff
|
tree
2022-03-30
Haniel Barbosa
[proof] [doc] Document external proof rules (#8439)
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Move cvc5::internal::main to cvc5::main. (#8454)
commit
|
commitdiff
|
tree
2022-03-30
yoni206
Add information for cardinality constraint to the Pytho...
commit
|
commitdiff
|
tree
2022-03-30
yoni206
Adding some missing python API methods and tests (...
commit
|
commitdiff
|
tree
2022-03-30
Andrew Reynolds
Change tuple tokens and update datatypes theory ref...
commit
|
commitdiff
|
tree
2022-03-30
Andrew Reynolds
Add LFSC to internal proof checker (#8442)
commit
|
commitdiff
|
tree
2022-03-30
mudathirmahgoub
Fix some documentation warnings (#8453)
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Rename master branch to main. (#8452)
commit
|
commitdiff
|
tree
2022-03-30
Abdalrhman...
Show the code for utilities in the docs. (#8387)
commit
|
commitdiff
|
tree
2022-03-30
Aina Niemetz
TypeNode: Rename isSort() and getSortConstructorArity...
commit
|
commitdiff
|
tree
2022-03-29
Mathias Preiner
Introduce internal namespace and remove api namespace...
commit
|
commitdiff
|
tree
2022-03-29
Aina Niemetz
api: Add Sort::getInstantiatedParameters(). (#8445)
commit
|
commitdiff
|
tree
2022-03-29
yoni206
bv-to-int: fix translation of bvneg (#8437)
commit
|
commitdiff
|
tree
2022-03-29
Andrew Reynolds
Make ensureTermSort private (#8436)
commit
|
commitdiff
|
tree
2022-03-29
Andrew Reynolds
Add information for cardinality constraint to the API...
commit
|
commitdiff
|
tree
2022-03-29
Andrew Reynolds
Make ProofNodeManager mkScope more robust (#8435)
commit
|
commitdiff
|
tree
2022-03-29
mudathirmahgoub
Add bags.rst (#8432)
commit
|
commitdiff
|
tree
2022-03-29
Andrew Reynolds
Fix issue related to use of Boolean term variable for...
commit
|
commitdiff
|
tree
2022-03-29
Andres Noetzli
[API] Add `{is,get}RoundingModeValue()` (#8429)
commit
|
commitdiff
|
tree
2022-03-29
Aina Niemetz
TypeNode: Refactor get param types handling. (#8428)
commit
|
commitdiff
|
tree
2022-03-29
Clark Barrett
Fix for issue 5925: constant arrays should be nonlinear...
commit
|
commitdiff
|
tree
2022-03-29
Aina Niemetz
api: Add Sort::isInstantiated(). (#8425)
commit
|
commitdiff
|
tree
2022-03-29
Andres Noetzli
Move `RoundingMode` to `cvc5_types.h` (#8427)
commit
|
commitdiff
|
tree
2022-03-28
Andrew Reynolds
Mark more methods as experimental (#8426)
commit
|
commitdiff
|
tree
2022-03-28
Mathias Preiner
Rename get-interpol to get-interpolant. (#8424)
commit
|
commitdiff
|
tree
2022-03-28
Andres Noetzli
[API] Mark methods as experimental (#8249)
commit
|
commitdiff
|
tree
2022-03-28
Mathias Preiner
ci: Enable all language bindings for debug build. ...
commit
|
commitdiff
|
tree
2022-03-28
Aina Niemetz
api: Remove left-over Sort::getUninterpretedSortName...
commit
|
commitdiff
|
tree
2022-03-28
Lachnitt
[proofs] Alethe: Call Printer (#8408)
commit
|
commitdiff
|
tree
2022-03-28
Lachnitt
[proofs] Alethe: Add ALETHE_RULE to builtin proof check...
commit
|
commitdiff
|
tree
2022-03-28
Andrew Reynolds
Fix synth result python unit test (#8418)
commit
|
commitdiff
|
tree
2022-03-28
Mathias Preiner
Mark solve-bv-as-int as expert. (#8417)
commit
|
commitdiff
|
tree
2022-03-26
yoni206
Separating produce-interpols from the mode of interpola...
commit
|
commitdiff
|
tree
2022-03-26
Aina Niemetz
builtin: Move type rules implementation to .cpp file...
commit
|
commitdiff
|
tree
next