projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
More precise includes of `Node` constants (#6617)
[cvc5.git] / src /
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) tree | commitdiff
2021-05-25 Andres NoetzliReplace deprecated calls to `std::allocator` (#6606) tree | commitdiff
2021-05-25 Andres Noetzli[Unit tests] Fix path of Java bindings (#6616) tree | commitdiff
2021-05-24 Andrew ReynoldsFix non-fixed length case in re-elim (#6612) tree | commitdiff
2021-05-24 Andrew ReynoldsImplementation of the new justification heuristic ... tree | commitdiff
2021-05-24 Andrew ReynoldsMove proof utilities to src/proof/ (#6611) tree | commitdiff
2021-05-24 Andrew ReynoldsFix re-elim length requirement for symbolic RE membersh... tree | commitdiff
2021-05-24 Andrew ReynoldsFix instance of no rewrite in extended rewriter (#6610) tree | commitdiff
2021-05-24 Andrew ReynoldsBetter formalization of regular expression unfolding... tree | commitdiff
2021-05-21 Andrew ReynoldsFix tests of unsat cores (#6593) tree | commitdiff
2021-05-21 Andrew ReynoldsFix and refactor relevant domain (#6528) tree | commitdiff
2021-05-21 Andrew ReynoldsFormalize shared selectors as skolem functions (#6591) tree | commitdiff
2021-05-21 Andrew ReynoldsMinor simplification to boolean proof checker (#6590) tree | commitdiff
2021-05-21 Andrew Reynolds(proof-new) Minor documentation sync (#6592) tree | commitdiff
2021-05-21 Andrew ReynoldsAdd utility to get all types occurring in a term (... tree | commitdiff
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... tree | commitdiff
2021-05-21 Andres NoetzliSupport braced-init-lists with `mkNode()` (#6580) tree | commitdiff
2021-05-21 makaimannUse scikit-build CMake files for pycvc5 (#6543) tree | commitdiff
2021-05-21 Gereon KremerMove option names out of struct (#6554) tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-20 Gereon KremerProperly initialize. (#6586) tree | commitdiff
2021-05-20 Haniel BarbosaRemove old unsat cores (#6581) tree | commitdiff
2021-05-20 yoni206Avoid using printSynthSolution in the python API and... tree | commitdiff
2021-05-20 Gereon KremerMinor improvements to the API (#6585) tree | commitdiff
2021-05-20 Aina NiemetzFix echo printing. (#6573) tree | commitdiff
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) tree | commitdiff
2021-05-20 Alex OzdemirExpand arith's farkas lemma rule as a macro (#6577) tree | commitdiff
2021-05-19 Andres NoetzliRemove unused methods from `NodeManager` (#6578) tree | commitdiff
2021-05-19 Mathias PreinerCorrectly handle negated assertions for assumption... tree | commitdiff
2021-05-19 Andrew ReynoldsPass empty vector when constructing re empty, fixes... tree | commitdiff
2021-05-19 Andres NoetzliMake output list of `mkoptions.py` more accurate (... tree | commitdiff
2021-05-19 Andrew ReynoldsMake strings emp inference an unhandled inference for... tree | commitdiff
2021-05-19 Haniel BarbosaChange the default unsat cores (#6571) tree | commitdiff
2021-05-19 Andrew ReynoldsFix strings rewriter for non-standard re range (#6570) tree | commitdiff
2021-05-19 Andrew ReynoldsAdd more missing inference ids (#6313) tree | commitdiff
2021-05-19 Mathias Preinerbv: Add support for --bitblast=eager. (#6516) tree | commitdiff
2021-05-19 Andrew ReynoldsFix positive contains indexof rewrites for empty string... tree | commitdiff
2021-05-19 Gereon KremerRemove accidental print (#6568) tree | commitdiff
2021-05-19 Gereon KremerGenerate command line options for sphinx docs (#6555) tree | commitdiff
2021-05-19 Andres NoetzliImprove handling of `:named` attributes (#6549) tree | commitdiff
2021-05-19 Andrew ReynoldsFix handling of non-standard re.range terms (#6563) tree | commitdiff
2021-05-18 Abdalrhman MohamedLoop over terms to reconstruct instead of obligations... tree | commitdiff
2021-05-18 Andres NoetzliFix `collectEmptyEqs()` in string utils (#6562) tree | commitdiff
2021-05-18 Andrew Reynolds(proof-new) Miscellaneous updates to strings from proof... tree | commitdiff
2021-05-18 Andrew ReynoldsFix smt2 printing (#6558) tree | commitdiff
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196) tree | commitdiff
2021-05-17 Andres NoetzliFix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites... tree | commitdiff
2021-05-17 Gereon KremerReplace smt_name by aliases (#6541) tree | commitdiff
2021-05-17 Andres NoetzliInclude cinttypes instead of inttypes.h (#6548) tree | commitdiff
2021-05-17 Gereon KremerImprove integration of CAD with nl-Ext (#6542) tree | commitdiff
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) tree | commitdiff
2021-05-14 mudathirmahgoubAdd Result.java to the java API (#6385) tree | commitdiff
2021-05-14 Mathias Preinerbv: Assert input facts on user-level 0. (#6515) tree | commitdiff
2021-05-13 Andres NoetzliAlways parse streams with line buffer (#6532) tree | commitdiff
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... tree | commitdiff
2021-05-13 Gereon KremerSplit options holder class (#6527) tree | commitdiff
2021-05-13 yoni206Adding functions to the python API and testing them... tree | commitdiff
2021-05-13 Alex OzdemirFix error message in toPythonObj (#6524) tree | commitdiff
2021-05-12 Andrew ReynoldsEnsure sequences of Booleans generate Boolean term... tree | commitdiff
2021-05-12 Gereon KremerUse signal(sig, SIG_DFL); raise(sig); instead of abort... tree | commitdiff
2021-05-10 Gereon KremerRemove header for option modules (#6514) tree | commitdiff
2021-05-10 Gereon KremerRemove read_only from options. (#6513) tree | commitdiff
2021-05-10 Andrew ReynoldsUnify top-level substitutions and model substitutions... tree | commitdiff
2021-05-10 mudathirmahgoubAdd doc to Kind.java (#6498) tree | commitdiff
2021-05-08 yoni206Adding functions to the python API and testing them... tree | commitdiff
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) tree | commitdiff
2021-05-07 Haniel BarbosaProperly printing INST_PATTERN_LIST by itself (#6507) tree | commitdiff
2021-05-07 Andrew ReynoldsSimplifications to expand definitions (#6487) tree | commitdiff
2021-05-07 makaimannFix for toPythonObj of integer value with real sort... tree | commitdiff
2021-05-06 Haniel Barbosa[proof-new] Updating documentation for Subs/Rw ids... tree | commitdiff
2021-05-06 Andrew ReynoldsDiscard duplicate terms in patterns (#6501) tree | commitdiff
2021-05-06 Andrew ReynoldsUse constant folding for evaluating BV eager atom ... tree | commitdiff
2021-05-05 Andrew ReynoldsDo not have quantifiers model inherit from theory model... tree | commitdiff
2021-05-05 makaimannSave block comments associated with each kind when... tree | commitdiff
2021-05-05 OuyanchengAdd helper functions for multi-objective optimization... tree | commitdiff
2021-05-05 Andrew ReynoldsMove current decision engine to decision engine old... tree | commitdiff
2021-05-04 Andrew ReynoldsMove env into smt solver, theory engine, prop engine... tree | commitdiff
2021-05-04 Haniel BarbosaDo not use proof CNF stream with assumptions-based... tree | commitdiff
2021-05-04 Gereon KremerImprove generation of python API documentation (#6482) tree | commitdiff
2021-05-04 Aina NiemetzFP: Move removal of generic to_fp operations to rewrite... tree | commitdiff
2021-05-04 Aina NiemetzFP: Move type check from expandDefinitions. (#6479) tree | commitdiff
2021-05-03 Aina NiemetzFP: Rewrite to_fp conversion from signed bit-vector... tree | commitdiff
2021-04-30 Mathias Preinerbv: Refactor ppAssert and move to TheoryBV. (#6470) tree | commitdiff
2021-04-30 Aina NiemetzAdd parameter name for argument `isPreRewrite` for... tree | commitdiff
2021-04-30 OuyanchengRefactor optimization result and objective classes... tree | commitdiff
2021-04-30 Andrew ReynoldsUse substitutions for implementing defined functions... tree | commitdiff
2021-04-29 Andrew ReynoldsAdd assertion list utility for justification heuristic... tree | commitdiff
2021-04-29 Gereon KremerSimplify generated code for getOption() and setOption... tree | commitdiff
2021-04-29 Gereon KremerAdd missing include. (#6463) tree | commitdiff
2021-04-29 Gereon KremerAvoid exponential explosion of small constant in CEGQI... tree | commitdiff
2021-04-28 OuyanchengFix BV Optimization Boundary Condition when lower bound... tree | commitdiff
2021-04-28 Gereon KremerRefactor resource manager options (#6446) tree | commitdiff
2021-04-28 Gereon KremerRemove exception headers from options.h (#6456) tree | commitdiff
2021-04-28 Gereon KremerMake sure reference stats are reset properly (#6457) tree | commitdiff
2021-04-28 Gereon KremerClean up options holder class (#6458) tree | commitdiff
2021-04-28 Gereon KremerCleanup DidYouMean (#6454) tree | commitdiff
2021-04-27 Andrew ReynoldsAdd internal support for datatype update (#6450) tree | commitdiff
2021-04-27 Andrew ReynoldsFix refutational soundness bug in quantifier prenexing... tree | commitdiff
2021-04-27 Andrew ReynoldsSimplify making function types (#6447) tree | commitdiff
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445) tree | commitdiff
next