projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
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
2021-05-07
Aina Niemetz
Move slow regressions and update guidelines. (#6508)
commit
|
commitdiff
|
tree
2021-05-07
Aina Niemetz
Fix and add missing REQUIRE labels for FP regression...
commit
|
commitdiff
|
tree
2021-05-07
Gereon Kremer
Integrate documentation build with the regular CI workf...
commit
|
commitdiff
|
tree
2021-05-07
Haniel Barbosa
Properly printing INST_PATTERN_LIST by itself (#6507)
commit
|
commitdiff
|
tree
2021-05-07
Andrew Reynolds
Simplifications to expand definitions (#6487)
commit
|
commitdiff
|
tree
2021-05-07
makaimann
Fix for toPythonObj of integer value with real sort...
commit
|
commitdiff
|
tree
2021-05-06
Haniel Barbosa
[proof-new] Updating documentation for Subs/Rw ids...
commit
|
commitdiff
|
tree
2021-05-06
Andrew Reynolds
Discard duplicate terms in patterns (#6501)
commit
|
commitdiff
|
tree
2021-05-06
Mathias Preiner
Update README.md and remove last CVC4 references. ...
commit
|
commitdiff
|
tree
2021-05-06
Andrew Reynolds
Use constant folding for evaluating BV eager atom ...
commit
|
commitdiff
|
tree
2021-05-05
Andrew Reynolds
Do not have quantifiers model inherit from theory model...
commit
|
commitdiff
|
tree
2021-05-05
makaimann
Save block comments associated with each kind when...
commit
|
commitdiff
|
tree
2021-05-05
Ouyancheng
Add helper functions for multi-objective optimization...
commit
|
commitdiff
|
tree
2021-05-05
Andrew Reynolds
Move current decision engine to decision engine old...
commit
|
commitdiff
|
tree
2021-05-04
Andrew Reynolds
Move env into smt solver, theory engine, prop engine...
commit
|
commitdiff
|
tree
2021-05-04
Haniel Barbosa
Do not use proof CNF stream with assumptions-based...
commit
|
commitdiff
|
tree
2021-05-04
Gereon Kremer
Use proper commit hash for PRs (#6485)
commit
|
commitdiff
|
tree
2021-05-04
Mathias Preiner
cmake: Fix ninja build. (#6481)
commit
|
commitdiff
|
tree
2021-05-04
Gereon Kremer
Improve generation of python API documentation (#6482)
commit
|
commitdiff
|
tree
2021-05-04
Aina Niemetz
FP: Move removal of generic to_fp operations to rewrite...
commit
|
commitdiff
|
tree
next