cvc5.git
2021-09-28 Gereon KremerRemove linking against RT (#7257)
2021-09-24 Andrew ReynoldsEliminate calls to Rewriter::rewrite from strings entai...
2021-09-23 Andrew ReynoldsGeneralize string enumerator for fixed length sequences...
2021-09-23 Gereon KremerEliminate Output macro in favor of simple Env functions...
2021-09-23 Lachnitt[proofs[ Alethe: Fix Order of Arguments of addAletheSte...
2021-09-23 Lachnitt[proofs] Alethe: Translate THEORY_REWRITE (#7236)
2021-09-23 Lachnitt[proofs] Alethe: Add Alethe Files to be Compiled ...
2021-09-23 Gereon KremerRefactor check interface of nonlinear extension (#7235)
2021-09-23 Andrew ReynoldsMore uses of EnvObj (#7230)
2021-09-23 Lachnitt[proofs] Alethe: Translate SCOPE rule (#7224)
2021-09-23 Abdalrhman... Use `|` to print quoted strings in `set-info` command...
2021-09-23 Andrew ReynoldsImplement alpha equivalence proofs (#7066)
2021-09-22 Andrew ReynoldsMake cegqi subsolvers EnvObj (#7205)
2021-09-22 Mathias PreinerRemove CVC language support (#7219)
2021-09-22 Andrew ReynoldsTowards standard usage of evaluator (#7189)
2021-09-22 OuyanchengFix solver_black unit test (#7233)
2021-09-22 Andrew ReynoldsAdd extensionality option for strings disequalities...
2021-09-22 Aina Niemetzarrays: Use EnvObj::rewrite and EnvObj::options. (...
2021-09-22 Aina Niemetzarrays: Move type enumerator implementation to .cpp...
2021-09-22 Gereon KremerEliminate arithmetic proof macros (#7226)
2021-09-22 Andrew ReynoldsMinimal fixing version for tuple update parsing (#7228)
2021-09-21 Lachnitt[Proofs] Alethe: Translate ASSUME rule (#7213)
2021-09-21 Lachnitt[proofs] Alethe: Implementation of AletheProofPostproce...
2021-09-21 Aina NiemetzREADME: Fix link to INSTALL.rst. (#7222)
2021-09-21 Andres NoetzliFix handling of conversions between FP and reals (...
2021-09-20 Alex OzdemirStart python API Solver documentation (#7064)
2021-09-20 Haniel Barbosa[proofs] Alethe: adds a node converter
2021-09-20 Andrew ReynoldsAdd the LFSC proof post-processor (#7134)
2021-09-20 Aina NiemetzTheoryModel: Use EnvObj::rewrite instead of Rewriter...
2021-09-20 Andres NoetzliOptionally enable interprocedural optimization (#7209)
2021-09-20 Gereon KremerAdd anchors to cmdline options (#7210)
2021-09-18 Andrew ReynoldsFix printer for datatype udpater (#7208)
2021-09-18 Gereon KremerRefactor tag suggestion mechanism (#7199)
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204)
2021-09-17 Lachnitt[proofs] Alethe: Added Proof Postprocessor to alethe_pr...
2021-09-17 Lachnitt[proofs] Alethe: Added Final Callback Function to aleth...
2021-09-17 Gereon KremerReplace write access to options by a local variable...
2021-09-17 Gereon KremerMinor cleanup related to EnvObj (#7206)
2021-09-16 Andrew ReynoldsFix relevant domain for parametric operators (#7198)
2021-09-15 Lachnitt[proofs] Alethe: Added Callback Function to alethe_proo...
2021-09-15 Andrew ReynoldsMinor changes to E-matching utilities (#7062)
2021-09-15 Gereon Kremerremove options that are no longer used (#7197)
2021-09-15 Lachnitt[proof] Added printer for proof rule names (#7185)
2021-09-15 Lachnitt[proof] Alethe proof rules (#7180)
2021-09-15 Andrew ReynoldsEliminate global access to options:: from quantifiers...
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194)
2021-09-14 Gereon KremerFinal cleanup (#7193)
2021-09-14 Andres NoetzliMake `-o raw-benchmark` work with `--parse-only` (...
2021-09-14 Andrew ReynoldsSupport sygus version 2.1 command assume (#7081)
2021-09-14 Andrew ReynoldsUtilities in preparation for print benchmark utility...
2021-09-14 Andrew ReynoldsAdd proof manager method to translate difficulty map...
2021-09-14 Gereon KremerRefactor code generation for option modules (#7182)
2021-09-14 Gereon KremerTurn sphinx generation into a function (#7181)
2021-09-14 Mathias Preinerbv: Unify bit-blasting code for udiv and urem. (#7188)
2021-09-14 Mathias Preinerproofs: Properly track pre- and post-rewrites in bbAtom...
2021-09-14 Andrew ReynoldsReimplement `--dump=raw-benchmark` as `-o raw-benchmark...
2021-09-13 Andres NoetzliRemove context getters from `TheoryState` (#7174)
2021-09-13 Andrew ReynoldsConnect difficulty manager to TheoryEngine (#7161)
2021-09-13 Gereon KremerAdd Solver::isOutputOn() (#7187)
2021-09-13 Aina NiemetzFP: Rename FpConverter to FpWordBlaster. (#7170)
2021-09-13 Gereon KremerRefactor generation code for getInfo() (#7176)
2021-09-13 Gereon KremerAdd main options to cmake (#7178)
2021-09-13 Gereon KremerReorder code (#7175)
2021-09-13 Gereon KremerRefactor options parsing (#7143)
2021-09-11 Gereon KremerUse StatisticsRegistry from Env (#7166)
2021-09-11 Aina NiemetzcheckModel: Extend documentation. (#7177)
2021-09-11 Mathias Preinerbv: Move IsPowerOfTwo rule to preprocessing pass and...
2021-09-11 Andrew ReynoldsAdd casc 28 scripts (#7070)
2021-09-10 Aina NiemetzFP: Enable caching in the theory inference manager...
2021-09-10 Mathias Preinerbv: Use EnvObj::rewrite() and EnvObj::options() in...
2021-09-10 Aina NiemetzFP: Use EnvObj::rewrite() and options() in theory_fp...
2021-09-10 Aina NiemetzFP: Do not send trivial lemmas. (#7167)
2021-09-10 mudathirmahgoubAdd Op.java to the java API (#6387)
2021-09-10 Andres NoetzliUse C++17 attributes (#7154)
2021-09-10 Andrew ReynoldsMore refactoring of set defaults (#7160)
2021-09-10 Mathias Preinerbv: Use EnvObj::rewrite() and EnvObj::options() in...
2021-09-10 Gereon KremerRefactor command-line help (#7157)
2021-09-10 Gereon KremerUse EnvObj-based options in preprocessing (#7165)
2021-09-09 Aina Niemetzpp passes: Use EnvObj::rewrite() instead of Rewriter...
2021-09-09 Andres NoetzliRemove `TheoryState::getEnv()` (#7163)
2021-09-09 Gereon KremerAdd Solver::getOutput() (#7162)
2021-09-09 Andrew ReynoldsAdd difficulty manager (#7151)
2021-09-09 Andrew ReynoldsAdd difficulty post-processor (#7150)
2021-09-09 Andrew ReynoldsDisable shared selectors for quantified logics without...
2021-09-09 Andres NoetzliRemove `TheoryState::options()` (#7148)
2021-09-09 Andrew ReynoldsRemove deprecated SyGuS method evaluateWithUnfolding...
2021-09-08 Andrew ReynoldsAdd Lfsc print channel utilities (#7123)
2021-09-08 Andrew ReynoldsImprove pre-skolemization, move quantifiers preprocess...
2021-09-08 Gereon KremerRefactor options::set() (#7138)
2021-09-08 Gereon KremerWork on comments (#7139)
2021-09-08 Gereon KremerA couple of minor cleanups (#7141)
2021-09-08 Gereon KremerRefactor code generation for options.h/.cpp (#7126)
2021-09-08 Andrew ReynoldsTowards standard usage of ExtendedRewriter (#7145)
2021-09-08 Andrew ReynoldsAdd option for using bound inference for relevant asser...
2021-09-08 Andrew ReynoldsAdd LFSC side condition conversion utility for list...
2021-09-08 mudathirmahgoubAdd Datatype.java to the Java API (#6389)
2021-09-08 mudathirmahgoubAdd DatatypeConstructor.java, DatatypeConstructorDecl...
2021-09-08 Andrew ReynoldsUse rewriteViaMethod instead of accessing builtin proof...
2021-09-07 Andrew ReynoldsRefactoring of proof manager initialization (#7073)
2021-09-07 Andres NoetzliUse `EnvObj` methods instead of `Theory` methods (...
next