cvc5.git
2022-03-31 Andres NoetzliMove Java package to `io.github.cvc5` (#8469)
2022-03-31 Haniel Barbosa[proofs] [doc] Documenting arrays, bit-vectors, datatyp...
2022-03-31 Haniel Barbosa[proofs] [doc] Document equality rules (#8462)
2022-03-31 Mathias Preinerdocs: Remove api namespace. (#8455)
2022-03-31 Andrew ReynoldsFix non-termination in the strings rewriter (#8438)
2022-03-31 Aina Niemetzapi: Mark experimental kinds. (#8464)
2022-03-31 Mathias PreinerStart post-release for 0.0.8
2022-03-31 Mathias PreinerBump version to 0.0.8
2022-03-31 Mathias Preinerci: Do not cancel jobs on main branch. (#8471)
2022-03-31 Andrew ReynoldsFix case of Boolean skolem for ground term E-matching...
2022-03-31 Mathias Preinerci: Update older PRs first. (#8477)
2022-03-31 Mathias Preinerapi: Remove isUninterpretedSortParameterized from heade...
2022-03-30 Gereon KremerAllow for multiple (equal) base model values (#8467)
2022-03-30 Mathias PreinerExclude competition build for issue8377-resolve-indexed...
2022-03-30 Mathias PreinerMove cvc5::internal::context to cvc5::context. (#8451)
2022-03-30 mudathirmahgoubPatch cross reference in Kind.java documentation (...
2022-03-30 Aina Niemetzdocs: Add bags to list of theory references. (#8461)
2022-03-30 Aina Niemetzapi: Add Sort::getUninterpretedSortConstructor(). ...
2022-03-30 Andrew ReynoldsFix policy for purifying arguments of exp (#8416)
2022-03-30 Andrew ReynoldsFixes for sygus-inst (#8448)
2022-03-30 Andrew ReynoldsFix subtype issue in cegqi arithmetic (#8440)
2022-03-30 Aina NiemetzTypeNode: Unify functions to instantiate parametric...
2022-03-30 Andres Noetzli[API] Move `UnknownExplanation` to `cvc5_types.h` ...
2022-03-30 Haniel Barbosa[proof] [doc] Document external proof rules (#8439)
2022-03-30 Mathias PreinerMove cvc5::internal::main to cvc5::main. (#8454)
2022-03-30 yoni206Add information for cardinality constraint to the Pytho...
2022-03-30 yoni206Adding some missing python API methods and tests (...
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref...
2022-03-30 Andrew ReynoldsAdd LFSC to internal proof checker (#8442)
2022-03-30 mudathirmahgoubFix some documentation warnings (#8453)
2022-03-30 Mathias PreinerRename master branch to main. (#8452)
2022-03-30 Abdalrhman... Show the code for utilities in the docs. (#8387)
2022-03-30 Aina NiemetzTypeNode: Rename isSort() and getSortConstructorArity...
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace...
2022-03-29 Aina Niemetzapi: Add Sort::getInstantiatedParameters(). (#8445)
2022-03-29 yoni206bv-to-int: fix translation of bvneg (#8437)
2022-03-29 Andrew ReynoldsMake ensureTermSort private (#8436)
2022-03-29 Andrew ReynoldsAdd information for cardinality constraint to the API...
2022-03-29 Andrew ReynoldsMake ProofNodeManager mkScope more robust (#8435)
2022-03-29 mudathirmahgoubAdd bags.rst (#8432)
2022-03-29 Andrew ReynoldsFix issue related to use of Boolean term variable for...
2022-03-29 Andres Noetzli[API] Add `{is,get}RoundingModeValue()` (#8429)
2022-03-29 Aina NiemetzTypeNode: Refactor get param types handling. (#8428)
2022-03-29 Clark BarrettFix for issue 5925: constant arrays should be nonlinear...
2022-03-29 Aina Niemetzapi: Add Sort::isInstantiated(). (#8425)
2022-03-29 Andres NoetzliMove `RoundingMode` to `cvc5_types.h` (#8427)
2022-03-28 Andrew ReynoldsMark more methods as experimental (#8426)
2022-03-28 Mathias PreinerRename get-interpol to get-interpolant. (#8424)
2022-03-28 Andres Noetzli[API] Mark methods as experimental (#8249)
2022-03-28 Mathias Preinerci: Enable all language bindings for debug build. ...
2022-03-28 Aina Niemetzapi: Remove left-over Sort::getUninterpretedSortName...
2022-03-28 Lachnitt[proofs] Alethe: Call Printer (#8408)
2022-03-28 Lachnitt[proofs] Alethe: Add ALETHE_RULE to builtin proof check...
2022-03-28 Andrew ReynoldsFix synth result python unit test (#8418)
2022-03-28 Mathias PreinerMark solve-bv-as-int as expert. (#8417)
2022-03-26 yoni206Separating produce-interpols from the mode of interpola...
2022-03-26 Aina Niemetzbuiltin: Move type rules implementation to .cpp file...
2022-03-26 Aina Niemetzapi: Rename *SortConstructor* to *UninterpretedSortCons...
2022-03-26 Andrew ReynoldsFix spurious assertion failure (#8404)
2022-03-26 Andrew ReynoldsThrow logic exception for set.map (#8403)
2022-03-26 Andrew ReynoldsMore minor cleaning of options (#8401)
2022-03-26 Andrew ReynoldsFixes for API kind documentation (#8397)
2022-03-26 Gereon KremerAdd API unit tests for options (#8339)
2022-03-25 Mathias Preinerapi: Unify mkOp variants. (#8369)
2022-03-25 Aina Niemetzapi: More comprehensive documentation of INTERNAL_KIND...
2022-03-25 Andres Noetzli[Parser] Fix resolution of indexed symbols (#8383)
2022-03-25 Aina Niemetzapi: Remove Sort::isParametricDatatype(). (#8405)
2022-03-25 Haniel Barbosa[proofs] [sat] Have SAT solver communicate whether...
2022-03-25 Aina Niemetzapi: Rename kind NULL_EXPR to NULL_TERM. (#8402)
2022-03-25 Andres NoetzliGenerate `enum` bindings for Python and Java (#8393)
2022-03-25 Andrew ReynoldsUpdate checkSynth and checkSynthNext to return SynthRes...
2022-03-25 Andrew ReynoldsChange output of abduction/interpolation for failed...
2022-03-25 Lachnitt[proofs] Alethe: Bug Fix in Cong Rule (#8391)
2022-03-25 Aina Niemetzapi: Remove blocks in kinds header. (#8398)
2022-03-25 Haniel Barbosa[proofs] [cnf] Utilities to notify and track proofs...
2022-03-25 Andrew ReynoldsFixes related to set defaults for sygus/proofs (#8395)
2022-03-25 Andres NoetzliFix Python API tests (#8392)
2022-03-25 Aina Niemetzapi: Refactor kinds documentation. (#8384)
2022-03-25 Andrew ReynoldsProperly guard commands in the SyGuS API (#8390)
2022-03-25 Andrew ReynoldsRecategorize options (#8386)
2022-03-25 Andrew ReynoldsFixes for theory reference for datatypes (#8380)
2022-03-24 Gereon KremerDocument proof rules for coverings solver (#8376)
2022-03-24 Andrew ReynoldsMinor updates for quantifiers options (#8385)
2022-03-24 Haniel Barbosa[proofs] [sat] Handle resolution proofs for optimized...
2022-03-24 Gereon KremerDocument arithmetic proof rules (#8373)
2022-03-24 Andrew ReynoldsStandardize more instances of skolems (#8351)
2022-03-24 Haniel Barbosa[sat] Add option to disable Minisat simplifications...
2022-03-24 Andrew ReynoldsFix a couple of parse error messages for sygus (#8381)
2022-03-24 Haniel Barbosa[unsat-cores] [sat-proof] Fix open proofs due to theory...
2022-03-23 Andrew ReynoldsClean options (#8309)
2022-03-23 Gereon KremerAdd API unit tests for statistics (#8341)
2022-03-23 Andrew ReynoldsAdd SynthResult to the API (#8370)
2022-03-23 Gereon KremerAdd `getOptionInfo()` and `getOptionNames()` to python...
2022-03-23 Gereon KremerDocument proof rules for transcendentals (#8375)
2022-03-23 Andrew ReynoldsMake IDOF_MAX rewrite only apply when all children...
2022-03-23 Mathias PreinerOnly update latest tag if commit changed. (#8379)
2022-03-23 Andrew ReynoldsAdd internal synth result class (#8352)
2022-03-23 Gereon KremerRun gen-versioninfo unconditionally (#8368)
2022-03-23 Gereon KremerStore latest builds in a special release (#8337)
2022-03-23 Gereon KremerRemove dependency on build (#8367)
next