projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Handled quoted symbols in indexed operators (#8491)
[cvc5.git]
/
test
/
2022-03-31
Andrew Reynolds
Handled quoted symbols in indexed operators (#8491)
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
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
Andrew Reynolds
Fix lower vs upper bound issue for eager RE conflicts...
tree
|
commitdiff
2022-03-31
Andres Noetzli
Move Java package to `io.github.cvc5` (#8469)
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Fix non-termination in the strings rewriter (#8438)
tree
|
commitdiff
2022-03-31
Andrew Reynolds
Fix case of Boolean skolem for ground term E-matching...
tree
|
commitdiff
2022-03-30
Gereon Kremer
Allow for multiple (equal) base model values (#8467)
tree
|
commitdiff
2022-03-30
Mathias Preiner
Exclude competition build for issue8377-resolve-indexed...
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
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
mudathirmahgoub
Fix some documentation warnings (#8453)
tree
|
commitdiff
2022-03-30
Mathias Preiner
Rename master branch to main. (#8452)
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
2022-03-29
yoni206
bv-to-int: fix translation of bvneg (#8437)
tree
|
commitdiff
2022-03-29
Andrew Reynolds
Add information for cardinality constraint to the API...
tree
|
commitdiff
2022-03-29
Andrew Reynolds
Make ProofNodeManager mkScope more robust (#8435)
tree
|
commitdiff
2022-03-29
Andrew Reynolds
Fix issue related to use of Boolean term variable for...
tree
|
commitdiff
2022-03-29
Andres Noetzli
[API] Add `{is,get}RoundingModeValue()` (#8429)
tree
|
commitdiff
2022-03-29
Clark Barrett
Fix for issue 5925: constant arrays should be nonlinear...
tree
|
commitdiff
2022-03-29
Aina Niemetz
api: Add Sort::isInstantiated(). (#8425)
tree
|
commitdiff
2022-03-29
Andres Noetzli
Move `RoundingMode` to `cvc5_types.h` (#8427)
tree
|
commitdiff
2022-03-28
Mathias Preiner
Rename get-interpol to get-interpolant. (#8424)
tree
|
commitdiff
2022-03-28
Aina Niemetz
api: Remove left-over Sort::getUninterpretedSortName...
tree
|
commitdiff
2022-03-28
Andrew Reynolds
Fix synth result python unit test (#8418)
tree
|
commitdiff
2022-03-26
yoni206
Separating produce-interpols from the mode of interpola...
tree
|
commitdiff
2022-03-26
Aina Niemetz
api: Rename *SortConstructor* to *UninterpretedSortCons...
tree
|
commitdiff
2022-03-26
Andrew Reynolds
Fix spurious assertion failure (#8404)
tree
|
commitdiff
2022-03-26
Andrew Reynolds
More minor cleaning of options (#8401)
tree
|
commitdiff
2022-03-26
Andrew Reynolds
Fixes for API kind documentation (#8397)
tree
|
commitdiff
2022-03-26
Gereon Kremer
Add API unit tests for options (#8339)
tree
|
commitdiff
2022-03-25
Mathias Preiner
api: Unify mkOp variants. (#8369)
tree
|
commitdiff
2022-03-25
Andres Noetzli
[Parser] Fix resolution of indexed symbols (#8383)
tree
|
commitdiff
2022-03-25
Aina Niemetz
api: Remove Sort::isParametricDatatype(). (#8405)
tree
|
commitdiff
2022-03-25
Haniel Barbosa
[proofs] [sat] Have SAT solver communicate whether...
tree
|
commitdiff
2022-03-25
Andrew Reynolds
Update checkSynth and checkSynthNext to return SynthRes...
tree
|
commitdiff
2022-03-25
Andrew Reynolds
Change output of abduction/interpolation for failed...
tree
|
commitdiff
2022-03-25
Andres Noetzli
Fix Python API tests (#8392)
tree
|
commitdiff
2022-03-25
Andrew Reynolds
Properly guard commands in the SyGuS API (#8390)
tree
|
commitdiff
2022-03-25
Andrew Reynolds
Recategorize options (#8386)
tree
|
commitdiff
2022-03-24
Haniel Barbosa
[unsat-cores] [sat-proof] Fix open proofs due to theory...
tree
|
commitdiff
2022-03-23
Andrew Reynolds
Clean options (#8309)
tree
|
commitdiff
2022-03-23
Gereon Kremer
Add API unit tests for statistics (#8341)
tree
|
commitdiff
2022-03-23
Andrew Reynolds
Add SynthResult to the API (#8370)
tree
|
commitdiff
2022-03-23
Gereon Kremer
Add `getOptionInfo()` and `getOptionNames()` to python...
tree
|
commitdiff
2022-03-23
Andrew Reynolds
Make IDOF_MAX rewrite only apply when all children...
tree
|
commitdiff
2022-03-23
mudathirmahgoub
Fix cvc5-projects issue 497 (#8331)
tree
|
commitdiff
2022-03-23
Andrew Reynolds
Fix non-termination issue in sygus enumerator (#8340)
tree
|
commitdiff
2022-03-22
Andres Noetzli
[FP] Remove `FLOATINGPOINT_TO_FP_GENERIC` kind (#8334)
tree
|
commitdiff
2022-03-22
Andrew Reynolds
Fixes for witness terms appearing in CEGQI instantiatio...
tree
|
commitdiff
2022-03-22
Andrew Reynolds
Refactor result class (#8313)
tree
|
commitdiff
2022-03-22
Mathias Preiner
api: Unify mkTerm variants. (#8357)
tree
|
commitdiff
2022-03-22
Andres Noetzli
[API] Support `Op::operator[]` in Java and Python ...
tree
|
commitdiff
2022-03-21
Andres Noetzli
Remove `Op::getIndices()` (#8355)
tree
|
commitdiff
2022-03-21
Gereon Kremer
Fix names of unit tests (#8338)
tree
|
commitdiff
2022-03-20
Gereon Kremer
Add `getStatistics()` to python API (#8343)
tree
|
commitdiff
2022-03-17
Aina Niemetz
ctest: Fix labels for python unit tests. (#8328)
tree
|
commitdiff
2022-03-17
Gereon Kremer
Replace `Debug` by `Trace` (#7793)
tree
|
commitdiff
2022-03-16
Aina Niemetz
Add unit test and assertion to test and catch cvc5...
tree
|
commitdiff
2022-03-16
Andres Noetzli
Remove unused files in `regress0` (#8325)
tree
|
commitdiff
2022-03-16
Mathias Preiner
unit: Add test for api::Kind. (#8322)
tree
|
commitdiff
2022-03-16
Aina Niemetz
First step towards refactoring regression tests. (...
tree
|
commitdiff
2022-03-16
mudathirmahgoub
Add regression for cvc5-projects issue 490 (#8317)
tree
|
commitdiff
2022-03-16
Mathias Preiner
run_regression: Make sure to strip trailing whitespaces...
tree
|
commitdiff
2022-03-16
Andrew Reynolds
Fix getModelValue for arithmetic (#8316)
tree
|
commitdiff
2022-03-16
Andrew Reynolds
Ensure trusted steps are given for skolem lemmas when...
tree
|
commitdiff
2022-03-15
Andrew Reynolds
Make learned literal computation more robust (#8308)
tree
|
commitdiff
2022-03-15
Aina Niemetz
api: Remove Sort::isFirstClass(). (#8312)
tree
|
commitdiff
2022-03-15
Andres Noetzli
[BV] Fix strategy for rewriting `bvnot` (#8297)
tree
|
commitdiff
2022-03-15
Andrew Reynolds
Add unit test involving seq concat term (#8257)
tree
|
commitdiff
2022-03-15
Andrew Reynolds
Fix issues involving multiple sources of model substitu...
tree
|
commitdiff
2022-03-15
mudathirmahgoub
Add skolem lemmas for bags card terms (#7995)
tree
|
commitdiff
2022-03-15
Andrew Reynolds
Properly guard sort instantiate (#8247)
tree
|
commitdiff
2022-03-15
Andrew Reynolds
Fix to consider leafs of theory sets to be variables...
tree
|
commitdiff
2022-03-15
Andrew Reynolds
Simplify reductions for set and bag choose (#8304)
tree
|
commitdiff
2022-03-15
Aina Niemetz
Rename TO_FP operator kinds. (#8285)
tree
|
commitdiff
2022-03-14
Andrew Reynolds
Fixes for skolem definition management (#8301)
tree
|
commitdiff
2022-03-14
Andrew Reynolds
Remove unecessary methods from the API (#8260)
tree
|
commitdiff
2022-03-14
Andrew Reynolds
Add rewrite for allchar beneath union + star (#8299)
tree
|
commitdiff
2022-03-14
Andrew Reynolds
Run preprocess rewrite on equalities until fixed point...
tree
|
commitdiff
2022-03-12
Andrew Reynolds
Introduce new splitting inference in sets + cardinality...
tree
|
commitdiff
2022-03-12
Mathias Preiner
cmake: Do not require googletest if unit tests are...
tree
|
commitdiff
2022-03-12
Andrew Reynolds
Always ensure literal when requiring phase via inferenc...
tree
|
commitdiff
2022-03-11
Andres Noetzli
[API/Python] Add support for `Solver::getModel()` ...
tree
|
commitdiff
2022-03-11
Andrew Reynolds
Remove old decision justification heurstic (#8275)
tree
|
commitdiff
2022-03-11
Andrew Reynolds
Update abduction and interpolation API to not use pass...
tree
|
commitdiff
2022-03-11
Andrew Reynolds
Consider APPLY_CONSTRUCTOR applied to values to be...
tree
|
commitdiff
2022-03-11
Andrew Reynolds
Fix reduction for arc trig functions (#8289)
tree
|
commitdiff
2022-03-10
Andrew Reynolds
Fix theoryOf call in get equality status (#8279)
tree
|
commitdiff
next