projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-10-07 Andrew ReynoldsMiscellaneous fixes from proof-new (#7313) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsFast exit for string extended equality rewriter (#7312) commit | commitdiff | tree
2021-10-07 Gereon KremerReplace doubles by rationals in C++ quickstart (#7317) commit | commitdiff | tree
2021-10-07 Andrew ReynoldsEliminate more circular dependencies on solver engine... commit | commitdiff | tree
2021-10-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316) commit | commitdiff | tree
2021-10-06 Gereon KremerChange semantics of dumpUnsatCoresFull (#7314) commit | commitdiff | tree
2021-10-06 Andrew ReynoldsRefactor skolem definitions notifications for the decis... commit | commitdiff | tree
2021-10-06 Gereon KremerEnable static builds in CI (#7281) commit | commitdiff | tree
2021-10-06 Gereon KremerRemove timestamped javadoc comments (#7304) commit | commitdiff | tree
2021-10-06 Andrew ReynoldsEliminate more hard coded uses of user context (#7309) commit | commitdiff | tree
2021-10-06 Abdalrhman... Avoid calling `quoteSymbol` multiple times. (#7307) commit | commitdiff | tree
2021-10-05 Gereon KremerFirst round of refactoring on NlModel (#7255) commit | commitdiff | tree
2021-10-05 Gereon KremerReformulate (#7305) commit | commitdiff | tree
2021-10-05 Gereon KremerFinish refactoring on option handlers (#7295) commit | commitdiff | tree
2021-10-04 Gereon KremerAdd sygus examples to documentation (#7303) commit | commitdiff | tree
2021-10-04 Gereon KremerVarious improvements to documentation (#7283) commit | commitdiff | tree
2021-10-04 Andrew ReynoldsRefactor internally generated bounded quantified formul... commit | commitdiff | tree
2021-10-04 Andrew ReynoldsMove isFiniteType from theory engine to Env (#7287) commit | commitdiff | tree
2021-10-04 Andrew ReynoldsMake decision engine use env (#7300) commit | commitdiff | tree
2021-10-04 Gereon KremerNo longer build docs by default. Use make docs. (#7296) commit | commitdiff | tree
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter in quantifiers... commit | commitdiff | tree
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter from strings ... commit | commitdiff | tree
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) commit | commitdiff | tree
2021-10-01 Andrew ReynoldsUpdate theory preprocessor to use Env (#7288) commit | commitdiff | tree
2021-10-01 Andrew ReynoldsFix ascription check for return types on ordinary funct... commit | commitdiff | tree
2021-10-01 Andrew ReynoldsMake preregistration safe for uninterpreted constants... commit | commitdiff | tree
2021-10-01 Gereon KremerRemove (apparently obsolete) checks in cms config ... commit | commitdiff | tree
2021-10-01 Gereon KremerClean options handlers (#7201) commit | commitdiff | tree
2021-10-01 Gereon KremerFix some python docstrings which lead to sphinx warning... commit | commitdiff | tree
2021-10-01 Andrew ReynoldsAdd the LFSC printer (#7158) commit | commitdiff | tree
2021-10-01 Andrew ReynoldsAdd the print benchmark utility (#7196) commit | commitdiff | tree
2021-10-01 Andrew ReynoldsUse the proper evaluator for optimized SyGuS datatype... commit | commitdiff | tree
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) commit | commitdiff | tree
2021-09-30 Aina NiemetzRename files smt_engine.(cpp|h) to solver_engine.(cpp... commit | commitdiff | tree
2021-09-30 Gereon KremerIntegrate javadoc documentation (#7278) commit | commitdiff | tree
2021-09-30 Mathias Preinerconfigure: Fix --static flag. (#7280) commit | commitdiff | tree
2021-09-30 Mathias Preinerbv: Refactor ppRewrite and move to TheoryBV. (#7271) commit | commitdiff | tree
2021-09-30 Gereon KremerRefactor our static builds (#7251) commit | commitdiff | tree
2021-09-30 Mathias PreinerProperly cache assertions in static learning preprocess... commit | commitdiff | tree
2021-09-30 mudathirmahgoubFinish the Java Api (#6396) commit | commitdiff | tree
2021-09-30 Andrew ReynoldsMake theory engine modules use Env (#7277) commit | commitdiff | tree
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio... commit | commitdiff | tree
2021-09-30 Gereon KremerRemove usage of static options in arithmetic theory... commit | commitdiff | tree
2021-09-30 Abdalrhman... Print `str.is_digit` and `int.pow2` correctly. (#7276) commit | commitdiff | tree
2021-09-30 Andres Noetzli[Printer] Only quote `set-info` value if necessary... commit | commitdiff | tree
2021-09-29 Andres Noetzli[API] Update comments w.r.t. SymFPU, fix typos (#7263) commit | commitdiff | tree
2021-09-29 Abdalrhman... Remove support for extended `(check-sat <term>)` comman... commit | commitdiff | tree
2021-09-29 Andrew ReynoldsProperly restrict PBE symmetry breaking for abduction... commit | commitdiff | tree
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265) commit | commitdiff | tree
2021-09-29 Andrew ReynoldsAdd the strings array solver (#7232) commit | commitdiff | tree
2021-09-29 Andres NoetzliUpdate `--lang=help` (#7260) commit | commitdiff | tree
2021-09-29 mudathirmahgoubAdd Statistics and Stat to the Java API (#7243) commit | commitdiff | tree
2021-09-29 Gereon Kremerremove stuff (#7258) commit | commitdiff | tree
2021-09-29 Mathias Preinercontrib: Fix check for get-script-header.sh. (#7259) commit | commitdiff | tree
2021-09-29 mudathirmahgoubAdd Sort.java to the java API (#6382) commit | commitdiff | tree
2021-09-28 Gereon KremerRemove linking against RT (#7257) commit | commitdiff | tree
2021-09-24 Andrew ReynoldsEliminate calls to Rewriter::rewrite from strings entai... commit | commitdiff | tree
2021-09-23 Andrew ReynoldsGeneralize string enumerator for fixed length sequences... commit | commitdiff | tree
2021-09-23 Gereon KremerEliminate Output macro in favor of simple Env functions... commit | commitdiff | tree
2021-09-23 Lachnitt[proofs[ Alethe: Fix Order of Arguments of addAletheSte... commit | commitdiff | tree
2021-09-23 Lachnitt[proofs] Alethe: Translate THEORY_REWRITE (#7236) commit | commitdiff | tree
2021-09-23 Lachnitt[proofs] Alethe: Add Alethe Files to be Compiled ... commit | commitdiff | tree
2021-09-23 Gereon KremerRefactor check interface of nonlinear extension (#7235) commit | commitdiff | tree
2021-09-23 Andrew ReynoldsMore uses of EnvObj (#7230) commit | commitdiff | tree
2021-09-23 Lachnitt[proofs] Alethe: Translate SCOPE rule (#7224) commit | commitdiff | tree
2021-09-23 Abdalrhman... Use `|` to print quoted strings in `set-info` command... commit | commitdiff | tree
2021-09-23 Andrew ReynoldsImplement alpha equivalence proofs (#7066) commit | commitdiff | tree
2021-09-22 Andrew ReynoldsMake cegqi subsolvers EnvObj (#7205) commit | commitdiff | tree
2021-09-22 Mathias PreinerRemove CVC language support (#7219) commit | commitdiff | tree
2021-09-22 Andrew ReynoldsTowards standard usage of evaluator (#7189) commit | commitdiff | tree
2021-09-22 OuyanchengFix solver_black unit test (#7233) commit | commitdiff | tree
2021-09-22 Andrew ReynoldsAdd extensionality option for strings disequalities... commit | commitdiff | tree
2021-09-22 Aina Niemetzarrays: Use EnvObj::rewrite and EnvObj::options. (... commit | commitdiff | tree
2021-09-22 Aina Niemetzarrays: Move type enumerator implementation to .cpp... commit | commitdiff | tree
2021-09-22 Gereon KremerEliminate arithmetic proof macros (#7226) commit | commitdiff | tree
2021-09-22 Andrew ReynoldsMinimal fixing version for tuple update parsing (#7228) commit | commitdiff | tree
2021-09-21 Lachnitt[Proofs] Alethe: Translate ASSUME rule (#7213) commit | commitdiff | tree
2021-09-21 Lachnitt[proofs] Alethe: Implementation of AletheProofPostproce... commit | commitdiff | tree
2021-09-21 Aina NiemetzREADME: Fix link to INSTALL.rst. (#7222) commit | commitdiff | tree
2021-09-21 Andres NoetzliFix handling of conversions between FP and reals (... commit | commitdiff | tree
2021-09-20 Alex OzdemirStart python API Solver documentation (#7064) commit | commitdiff | tree
2021-09-20 Haniel Barbosa[proofs] Alethe: adds a node converter commit | commitdiff | tree
2021-09-20 Andrew ReynoldsAdd the LFSC proof post-processor (#7134) commit | commitdiff | tree
2021-09-20 Aina NiemetzTheoryModel: Use EnvObj::rewrite instead of Rewriter... commit | commitdiff | tree
2021-09-20 Andres NoetzliOptionally enable interprocedural optimization (#7209) commit | commitdiff | tree
2021-09-20 Gereon KremerAdd anchors to cmdline options (#7210) commit | commitdiff | tree
2021-09-18 Andrew ReynoldsFix printer for datatype udpater (#7208) commit | commitdiff | tree
2021-09-18 Gereon KremerRefactor tag suggestion mechanism (#7199) commit | commitdiff | tree
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204) commit | commitdiff | tree
2021-09-17 Lachnitt[proofs] Alethe: Added Proof Postprocessor to alethe_pr... commit | commitdiff | tree
2021-09-17 Lachnitt[proofs] Alethe: Added Final Callback Function to aleth... commit | commitdiff | tree
2021-09-17 Gereon KremerReplace write access to options by a local variable... commit | commitdiff | tree
2021-09-17 Gereon KremerMinor cleanup related to EnvObj (#7206) commit | commitdiff | tree
2021-09-16 Andrew ReynoldsFix relevant domain for parametric operators (#7198) commit | commitdiff | tree
2021-09-15 Lachnitt[proofs] Alethe: Added Callback Function to alethe_proo... commit | commitdiff | tree
2021-09-15 Andrew ReynoldsMinor changes to E-matching utilities (#7062) commit | commitdiff | tree
2021-09-15 Gereon Kremerremove options that are no longer used (#7197) commit | commitdiff | tree
2021-09-15 Lachnitt[proof] Added printer for proof rule names (#7185) commit | commitdiff | tree
2021-09-15 Lachnitt[proof] Alethe proof rules (#7180) commit | commitdiff | tree
2021-09-15 Andrew ReynoldsEliminate global access to options:: from quantifiers... commit | commitdiff | tree
next