projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2021-05-28
Andres Noetzli
`STRINGS_CTN_DECOMPOSE`: Avoid multiple conflicts ...
commit
|
commitdiff
|
tree
2021-05-27
Andrew Reynolds
Fix regular expression aggressive elim (#6627)
commit
|
commitdiff
|
tree
2021-05-27
Andres Noetzli
Fix `str.replace_re` and `str.replace_re_all` (#6615)
commit
|
commitdiff
|
tree
2021-05-27
Ouyancheng
Add Lexicographic + Pareto Optimizations (#6626)
commit
|
commitdiff
|
tree
2021-05-27
Andrew Reynolds
Update proof namespaces (#6614)
commit
|
commitdiff
|
tree
2021-05-27
Andrew Reynolds
Fix CEGQI for datatypes with Boolean subfields (#6630)
commit
|
commitdiff
|
tree
2021-05-27
Andrew Reynolds
Fix spurious assertion for trivial abduction (#6629)
commit
|
commitdiff
|
tree
2021-05-27
Aina Niemetz
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...
commit
|
commitdiff
|
tree
2021-05-27
Andres Noetzli
Return `REWRITE_AGAIN` after rewriting bvcomp (#6624)
commit
|
commitdiff
|
tree
2021-05-27
Ouyancheng
Add support for Box optimization (#6599)
commit
|
commitdiff
|
tree
2021-05-27
Gereon Kremer
Avoid uploading docs if they did not change (#6621)
commit
|
commitdiff
|
tree
2021-05-27
Andrew Reynolds
Enable new justification heuristic by default (#6613)
commit
|
commitdiff
|
tree
2021-05-26
Gereon Kremer
Use references instead of getter functions (#6597)
commit
|
commitdiff
|
tree
2021-05-26
Andres Noetzli
More precise includes of `Node` constants (#6617)
commit
|
commitdiff
|
tree
2021-05-26
Gereon Kremer
Add more examples to the documentation (#6569)
commit
|
commitdiff
|
tree
2021-05-26
Gereon Kremer
Ensure proper types in unit tests (#6598)
commit
|
commitdiff
|
tree
2021-05-26
Gereon Kremer
Reduce size of sphinx-gh output (#6601)
commit
|
commitdiff
|
tree
2021-05-25
Aina Niemetz
api docs: Fix and tweak style for home and top links...
commit
|
commitdiff
|
tree
2021-05-25
Andres Noetzli
Replace deprecated calls to `std::allocator` (#6606)
commit
|
commitdiff
|
tree
2021-05-25
Andres Noetzli
[Unit tests] Fix path of Java bindings (#6616)
commit
|
commitdiff
|
tree
2021-05-24
Andrew Reynolds
Fix non-fixed length case in re-elim (#6612)
commit
|
commitdiff
|
tree
2021-05-24
Andrew Reynolds
Implementation of the new justification heuristic ...
commit
|
commitdiff
|
tree
2021-05-24
Andrew Reynolds
Move proof utilities to src/proof/ (#6611)
commit
|
commitdiff
|
tree
2021-05-24
Andrew Reynolds
Fix re-elim length requirement for symbolic RE membersh...
commit
|
commitdiff
|
tree
2021-05-24
Andrew Reynolds
Fix instance of no rewrite in extended rewriter (#6610)
commit
|
commitdiff
|
tree
2021-05-24
Andrew Reynolds
Better formalization of regular expression unfolding...
commit
|
commitdiff
|
tree
2021-05-21
Andrew Reynolds
Fix tests of unsat cores (#6593)
commit
|
commitdiff
|
tree
2021-05-21
Andrew Reynolds
Fix and refactor relevant domain (#6528)
commit
|
commitdiff
|
tree
2021-05-21
Andrew Reynolds
Formalize shared selectors as skolem functions (#6591)
commit
|
commitdiff
|
tree
2021-05-21
Andrew Reynolds
Minor simplification to boolean proof checker (#6590)
commit
|
commitdiff
|
tree
2021-05-21
Andrew Reynolds
(proof-new) Minor documentation sync (#6592)
commit
|
commitdiff
|
tree
2021-05-21
Andrew Reynolds
Add utility to get all types occurring in a term (...
commit
|
commitdiff
|
tree
2021-05-21
Andrew Reynolds
Update to sygus standard output for check-synth respons...
commit
|
commitdiff
|
tree
2021-05-21
Andres Noetzli
Support braced-init-lists with `mkNode()` (#6580)
commit
|
commitdiff
|
tree
2021-05-21
Aina Niemetz
api docs: Tweak and fix style. (#6582)
commit
|
commitdiff
|
tree
2021-05-21
Aina Niemetz
api docs: Update copyright. (#6596)
commit
|
commitdiff
|
tree
2021-05-21
makaimann
Use scikit-build CMake files for pycvc5 (#6543)
commit
|
commitdiff
|
tree
2021-05-21
Gereon Kremer
Move option names out of struct (#6554)
commit
|
commitdiff
|
tree
2021-05-21
Aina Niemetz
BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)
commit
|
commitdiff
|
tree
2021-05-20
Mathias Preiner
Update version of CaDiCaL. (#6583)
commit
|
commitdiff
|
tree
2021-05-20
Aina Niemetz
Disable unit testing for clang builds. (#6595)
commit
|
commitdiff
|
tree
2021-05-20
Gereon Kremer
Properly initialize. (#6586)
commit
|
commitdiff
|
tree
2021-05-20
Haniel Barbosa
Remove old unsat cores (#6581)
commit
|
commitdiff
|
tree
2021-05-20
Gereon Kremer
Use most recent version of libpoly (#6587)
commit
|
commitdiff
|
tree
2021-05-20
yoni206
Avoid using printSynthSolution in the python API and...
commit
|
commitdiff
|
tree
2021-05-20
Gereon Kremer
Minor improvements to the API (#6585)
commit
|
commitdiff
|
tree
2021-05-20
Aina Niemetz
Fix echo printing. (#6573)
commit
|
commitdiff
|
tree
2021-05-20
Gereon Kremer
Add more getters for api::Term (#6496)
commit
|
commitdiff
|
tree
2021-05-20
Alex Ozdemir
Expand arith's farkas lemma rule as a macro (#6577)
commit
|
commitdiff
|
tree
2021-05-19
Andres Noetzli
Remove unused methods from `NodeManager` (#6578)
commit
|
commitdiff
|
tree
2021-05-19
Mathias Preiner
Correctly handle negated assertions for assumption...
commit
|
commitdiff
|
tree
2021-05-19
Andrew Reynolds
Pass empty vector when constructing re empty, fixes...
commit
|
commitdiff
|
tree
2021-05-19
Ying Sheng
Adding python API test part 4 (#6553)
commit
|
commitdiff
|
tree
2021-05-19
Andres Noetzli
Make output list of `mkoptions.py` more accurate (...
commit
|
commitdiff
|
tree
2021-05-19
Andrew Reynolds
Make strings emp inference an unhandled inference for...
commit
|
commitdiff
|
tree
2021-05-19
Haniel Barbosa
Adding regressions that failed on old unsat cores ...
commit
|
commitdiff
|
tree
2021-05-19
Haniel Barbosa
Change the default unsat cores (#6571)
commit
|
commitdiff
|
tree
2021-05-19
Ying Sheng
Adding python API test part 3 (#6552)
commit
|
commitdiff
|
tree
2021-05-19
Andrew Reynolds
Fix strings rewriter for non-standard re range (#6570)
commit
|
commitdiff
|
tree
2021-05-19
Andrew Reynolds
Add more missing inference ids (#6313)
commit
|
commitdiff
|
tree
2021-05-19
Mathias Preiner
bv: Add support for --bitblast=eager. (#6516)
commit
|
commitdiff
|
tree
2021-05-19
Andrew Reynolds
Fix positive contains indexof rewrites for empty string...
commit
|
commitdiff
|
tree
2021-05-19
Gereon Kremer
Remove accidental print (#6568)
commit
|
commitdiff
|
tree
2021-05-19
Gereon Kremer
Generate command line options for sphinx docs (#6555)
commit
|
commitdiff
|
tree
2021-05-19
Andres Noetzli
Improve handling of `:named` attributes (#6549)
commit
|
commitdiff
|
tree
2021-05-19
Andrew Reynolds
Fix handling of non-standard re.range terms (#6563)
commit
|
commitdiff
|
tree
2021-05-18
Abdalrhman...
Loop over terms to reconstruct instead of obligations...
commit
|
commitdiff
|
tree
2021-05-18
Andres Noetzli
Fix `collectEmptyEqs()` in string utils (#6562)
commit
|
commitdiff
|
tree
2021-05-18
Ying Sheng
Adding python API test part 2 (#6551)
commit
|
commitdiff
|
tree
2021-05-18
Andrew Reynolds
(proof-new) Miscellaneous updates to strings from proof...
commit
|
commitdiff
|
tree
2021-05-18
Andrew Reynolds
Fix smt2 printing (#6558)
commit
|
commitdiff
|
tree
2021-05-18
mudathirmahgoub
Add Solver.java to the Java API (#6196)
commit
|
commitdiff
|
tree
2021-05-17
Andres Noetzli
Fix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites...
commit
|
commitdiff
|
tree
2021-05-17
Ying Sheng
Adding python API test (#6546)
commit
|
commitdiff
|
tree
2021-05-17
yoni206
Move and enhance python API grammar tests (#6538)
commit
|
commitdiff
|
tree
2021-05-17
Gereon Kremer
Replace smt_name by aliases (#6541)
commit
|
commitdiff
|
tree
2021-05-17
Andres Noetzli
Include cinttypes instead of inttypes.h (#6548)
commit
|
commitdiff
|
tree
2021-05-17
Gereon Kremer
Improve integration of CAD with nl-Ext (#6542)
commit
|
commitdiff
|
tree
2021-05-14
Andres Noetzli
Decouple parser creation from input selection (#6533)
commit
|
commitdiff
|
tree
2021-05-14
Gereon Kremer
Restrict additional CI jobs (#6539)
commit
|
commitdiff
|
tree
2021-05-14
Abdalrhman...
Stop using the solver for printing sygus synthesis...
commit
|
commitdiff
|
tree
2021-05-14
Alex Ozdemir
Add getId function to python API (#6523)
commit
|
commitdiff
|
tree
2021-05-14
mudathirmahgoub
Add Result.java to the java API (#6385)
commit
|
commitdiff
|
tree
2021-05-14
Mathias Preiner
bv: Assert input facts on user-level 0. (#6515)
commit
|
commitdiff
|
tree
2021-05-14
Aina Niemetz
api docs: Tweak style to be consistent with website...
commit
|
commitdiff
|
tree
2021-05-13
Andres Noetzli
Always parse streams with line buffer (#6532)
commit
|
commitdiff
|
tree
2021-05-13
Mathias Preiner
Add std::hash overloads for Node, TNode and TypeNode...
commit
|
commitdiff
|
tree
2021-05-13
Gereon Kremer
Split options holder class (#6527)
commit
|
commitdiff
|
tree
2021-05-13
yoni206
Adding functions to the python API and testing them...
commit
|
commitdiff
|
tree
2021-05-13
Alex Ozdemir
Fix error message in toPythonObj (#6524)
commit
|
commitdiff
|
tree
2021-05-12
Gereon Kremer
Move docs upload to a different workflow (#6512)
commit
|
commitdiff
|
tree
2021-05-12
Andrew Reynolds
Preliminary draft of changes for SMT comp 2021 (#6522)
commit
|
commitdiff
|
tree
2021-05-12
Andrew Reynolds
Ensure sequences of Booleans generate Boolean term...
commit
|
commitdiff
|
tree
2021-05-12
Gereon Kremer
Use signal(sig, SIG_DFL); raise(sig); instead of abort...
commit
|
commitdiff
|
tree
2021-05-10
Gereon Kremer
Remove header for option modules (#6514)
commit
|
commitdiff
|
tree
2021-05-10
Gereon Kremer
Remove read_only from options. (#6513)
commit
|
commitdiff
|
tree
2021-05-10
Andrew Reynolds
Unify top-level substitutions and model substitutions...
commit
|
commitdiff
|
tree
2021-05-10
mudathirmahgoub
Add doc to Kind.java (#6498)
commit
|
commitdiff
|
tree
2021-05-08
yoni206
Adding functions to the python API and testing them...
commit
|
commitdiff
|
tree
2021-05-08
Andrew Reynolds
Add support for datatype update (#6449)
commit
|
commitdiff
|
tree
next