projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add method to get leaves of a NodeTrie (#8583)
[cvc5.git]
/
src
/
2022-04-07
Andrew Reynolds
Add method to get leaves of a NodeTrie (#8583)
tree
|
commitdiff
2022-04-07
Andrew Reynolds
Make sets and bags operators left-associative (#8584)
tree
|
commitdiff
2022-04-07
Andrew Reynolds
Eliminate SmtSolver dependency on SolverEngineState...
tree
|
commitdiff
2022-04-07
Andrew Reynolds
Minor fix for printing nullary operators in smt2 (...
tree
|
commitdiff
2022-04-07
Andrew Reynolds
Fix proof checker for SUBS (#8578)
tree
|
commitdiff
2022-04-06
Andrew Reynolds
Fixes for LFSC printing and signatures (#8579)
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: Fix doc generation for kinds in java API. (#8576)
tree
|
commitdiff
2022-04-05
Mathias Preiner
Update copyright headers for release 1.0 (#8539)
tree
|
commitdiff
2022-04-05
Andrew Reynolds
Make inst constant attribute robust to purification...
tree
|
commitdiff
2022-04-05
Gereon Kremer
Make rewriter more robust against RAN becoming rational...
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: More fixes in the java API. (#8571)
tree
|
commitdiff
2022-04-05
Andrew Reynolds
Be permissive for subtyping in function definitions...
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: More fixes in C++ API docs. (#8570)
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: Fix OptionInfo docs for java API. (#8569)
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: Fixes in docs for Op. (#8565)
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: Fixes for Grammar docs in java API. (#8563)
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: Fixes in java api docs. (#8562)
tree
|
commitdiff
2022-04-05
Aina Niemetz
api: Fixes in docs for DatatypeConstructor. (#8561)
tree
|
commitdiff
2022-04-04
Aina Niemetz
api: More fixes in docs. (#8559)
tree
|
commitdiff
2022-04-04
Aina Niemetz
api: First batch of fixes in the api docs. (#8558)
tree
|
commitdiff
2022-04-04
Gereon Kremer
Fix links when converting kinds documentation to python...
tree
|
commitdiff
2022-04-04
Aina Niemetz
python api: More fixes. (#8556)
tree
|
commitdiff
2022-04-04
Gereon Kremer
Remove duplicate lines (#8552)
tree
|
commitdiff
2022-04-04
Aina Niemetz
api: Various fixes in Python documentation. (#8554)
tree
|
commitdiff
2022-04-04
Gereon Kremer
Various improvements and fixes in the documentation...
tree
|
commitdiff
2022-04-04
Andrew Reynolds
Rename getInstantiatedConstructorTerm to getInstantiate...
tree
|
commitdiff
2022-04-04
Andrew Reynolds
Use raw symbols in proofs (#8550)
tree
|
commitdiff
2022-04-04
Haniel Barbosa
[proofs] [sat] Make SAT assumption bookeeping robust...
tree
|
commitdiff
2022-04-04
Andrew Reynolds
Fix for get-value with empty uninterpreted sort domain...
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Rename mkSygusGrammar to mkGrammar (#8544)
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Remove variant of mkDatatypeDecl with one sort paramete...
tree
|
commitdiff
2022-04-02
Aina Niemetz
api: Rename get(Selector|Constructor)Term() to getTerm...
tree
|
commitdiff
2022-04-02
Gereon Kremer
Follow renaming within pythonic API (#8532)
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Ignore irrelevant exponential terms (#8534)
tree
|
commitdiff
2022-04-02
Aina Niemetz
api: Remove DatatypeConstructor::getSelectorTerm()...
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Require that used model values are constant in CEGQI...
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Add a few miscellaneous pieces of documentation (#8533)
tree
|
commitdiff
2022-04-02
mudathirmahgoub
Remove java API methods that accepts lists as arguments...
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Add more explanations in the API (#8493)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Simplify the python base API in a few places (#8514)
tree
|
commitdiff
2022-04-01
Andrew Reynolds
Simplifications to the datatypes API (#8511)
tree
|
commitdiff
2022-04-01
Mathias Preiner
docs: Document UnknownExplanation. (#8508)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Prevent using the coverings solver with extended operat...
tree
|
commitdiff
2022-04-01
Aina Niemetz
api kinds: Refactor docs for kinds to properly render...
tree
|
commitdiff
2022-04-01
Aina Niemetz
api: Remove Datatype::getConstructorTerm(). (#8529)
tree
|
commitdiff
2022-04-01
Haniel Barbosa
[proofs] [doc] Document string rules (#8498)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Document special member functions in python API (#8513)
tree
|
commitdiff
2022-04-01
Aina Niemetz
Python API: Do not rename enumerators. (#8507)
tree
|
commitdiff
2022-04-01
Haniel Barbosa
[proofs] [alethe] Fix Alethe post-processor (#8525)
tree
|
commitdiff
2022-04-01
Andrew Reynolds
Internal simplifications to constructing datatypes...
tree
|
commitdiff
2022-04-01
Gereon Kremer
Remove decorator from python API (#8505)
tree
|
commitdiff
2022-04-01
Andres Noetzli
[API] Add mode argument for `Solver::blockModel()`...
tree
|
commitdiff
2022-04-01
Andres Noetzli
Remove `UnknownExplanation::NO_STATUS` (#8518)
tree
|
commitdiff
2022-04-01
mudathirmahgoub
Fix javadoc custom tag warning (#8502)
tree
|
commitdiff
2022-04-01
Mathias Preiner
docs: Add documentation for modes. (#8509)
tree
|
commitdiff
2022-04-01
Aina Niemetz
Python api: Various fixes in docs. (#8480)
tree
|
commitdiff
2022-04-01
Andres Noetzli
[API] Remove redundant version of `mkFunctionSort`...
tree
|
commitdiff
2022-04-01
Andrew Reynolds
Fix sygus-inst when combined with bounded string quanti...
tree
|
commitdiff
2022-04-01
Mathias Preiner
api: Swap arguments of declareSygusVar. (#8499)
tree
|
commitdiff
2022-04-01
Mathias Preiner
api: Use std::optional for symbols in mk* functions...
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Handled quoted symbols in indexed operators (#8491)
tree
|
commitdiff
2022-03-31
Aina Niemetz
Various fixes related to isDatatypeXXX checks. (#8473)
tree
|
commitdiff
2022-03-31
Aina Niemetz
Sort, TypeNode: Rename functions related to datatypes...
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Disable minisat variable elimination when a parametric...
tree
|
commitdiff
2022-03-31
Aina Niemetz
api: Remove warning for Sort::instantiate(). (#8475)
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Do not export dt.size (#8483)
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Fix check for whether PI is reduced (#8485)
tree
|
commitdiff
2022-03-31
Gereon Kremer
Improve documentation for Statistics in C++ API (#8476)
tree
|
commitdiff
2022-03-31
Haniel Barbosa
[proofs] Adding post-visit processing to proof node...
tree
|
commitdiff
2022-03-31
Andres Noetzli
Fix Java examples (#8484)
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Fix lower vs upper bound issue for eager RE conflicts...
tree
|
commitdiff
2022-03-31
Gereon Kremer
Improve documentation for OptionInfo (#8474)
tree
|
commitdiff
2022-03-31
Andres Noetzli
Move Java package to `io.github.cvc5` (#8469)
tree
|
commitdiff
2022-03-31
Haniel Barbosa
[proofs] [doc] Documenting arrays, bit-vectors, datatyp...
tree
|
commitdiff
2022-03-31
Haniel Barbosa
[proofs] [doc] Document equality rules (#8462)
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Fix non-termination in the strings rewriter (#8438)
tree
|
commitdiff
2022-03-31
Aina Niemetz
api: Mark experimental kinds. (#8464)
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Fix case of Boolean skolem for ground term E-matching...
tree
|
commitdiff
2022-03-31
Mathias Preiner
api: Remove isUninterpretedSortParameterized from heade...
tree
|
commitdiff
2022-03-30
Gereon Kremer
Allow for multiple (equal) base model values (#8467)
tree
|
commitdiff
2022-03-30
Mathias Preiner
Move cvc5::internal::context to cvc5::context. (#8451)
tree
|
commitdiff
2022-03-30
mudathirmahgoub
Patch cross reference in Kind.java documentation (...
tree
|
commitdiff
2022-03-30
Aina Niemetz
api: Add Sort::getUninterpretedSortConstructor(). ...
tree
|
commitdiff
2022-03-30
Andrew Reynolds
Fix policy for purifying arguments of exp (#8416)
tree
|
commitdiff
2022-03-30
Andrew Reynolds
Fixes for sygus-inst (#8448)
tree
|
commitdiff
2022-03-30
Andrew Reynolds
Fix subtype issue in cegqi arithmetic (#8440)
tree
|
commitdiff
2022-03-30
Aina Niemetz
TypeNode: Unify functions to instantiate parametric...
tree
|
commitdiff
2022-03-30
Andres Noetzli
[API] Move `UnknownExplanation` to `cvc5_types.h` ...
tree
|
commitdiff
2022-03-30
Haniel Barbosa
[proof] [doc] Document external proof rules (#8439)
tree
|
commitdiff
2022-03-30
Mathias Preiner
Move cvc5::internal::main to cvc5::main. (#8454)
tree
|
commitdiff
2022-03-30
yoni206
Add information for cardinality constraint to the Pytho...
tree
|
commitdiff
2022-03-30
yoni206
Adding some missing python API methods and tests (...
tree
|
commitdiff
2022-03-30
Andrew Reynolds
Change tuple tokens and update datatypes theory ref...
tree
|
commitdiff
2022-03-30
Andrew Reynolds
Add LFSC to internal proof checker (#8442)
tree
|
commitdiff
2022-03-30
mudathirmahgoub
Fix some documentation warnings (#8453)
tree
|
commitdiff
2022-03-30
Mathias Preiner
Rename master branch to main. (#8452)
tree
|
commitdiff
2022-03-30
Abdalrhman Mohamed
Show the code for utilities in the docs. (#8387)
tree
|
commitdiff
2022-03-30
Aina Niemetz
TypeNode: Rename isSort() and getSortConstructorArity...
tree
|
commitdiff
2022-03-29
Mathias Preiner
Introduce internal namespace and remove api namespace...
tree
|
commitdiff
2022-03-29
Aina Niemetz
api: Add Sort::getInstantiatedParameters(). (#8445)
tree
|
commitdiff
next