projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improve parser for tuple select (#7364)
[cvc5.git] / src /
2021-09-22 Andrew ReynoldsMinimal fixing version for tuple update parsing (#7228) tree | commitdiff
2021-09-21 Lachnitt[Proofs] Alethe: Translate ASSUME rule (#7213) tree | commitdiff
2021-09-21 Lachnitt[proofs] Alethe: Implementation of AletheProofPostproce... tree | commitdiff
2021-09-21 Andres NoetzliFix handling of conversions between FP and reals (... tree | commitdiff
2021-09-20 Alex OzdemirStart python API Solver documentation (#7064) tree | commitdiff
2021-09-20 Haniel Barbosa[proofs] Alethe: adds a node converter tree | commitdiff
2021-09-20 Andrew ReynoldsAdd the LFSC proof post-processor (#7134) tree | commitdiff
2021-09-20 Aina NiemetzTheoryModel: Use EnvObj::rewrite instead of Rewriter... tree | commitdiff
2021-09-20 Gereon KremerAdd anchors to cmdline options (#7210) tree | commitdiff
2021-09-18 Andrew ReynoldsFix printer for datatype udpater (#7208) tree | commitdiff
2021-09-18 Gereon KremerRefactor tag suggestion mechanism (#7199) tree | commitdiff
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204) tree | commitdiff
2021-09-17 Lachnitt[proofs] Alethe: Added Proof Postprocessor to alethe_pr... tree | commitdiff
2021-09-17 Lachnitt[proofs] Alethe: Added Final Callback Function to aleth... tree | commitdiff
2021-09-17 Gereon KremerReplace write access to options by a local variable... tree | commitdiff
2021-09-17 Gereon KremerMinor cleanup related to EnvObj (#7206) tree | commitdiff
2021-09-16 Andrew ReynoldsFix relevant domain for parametric operators (#7198) tree | commitdiff
2021-09-15 Lachnitt[proofs] Alethe: Added Callback Function to alethe_proo... tree | commitdiff
2021-09-15 Andrew ReynoldsMinor changes to E-matching utilities (#7062) tree | commitdiff
2021-09-15 Gereon Kremerremove options that are no longer used (#7197) tree | commitdiff
2021-09-15 Lachnitt[proof] Added printer for proof rule names (#7185) tree | commitdiff
2021-09-15 Lachnitt[proof] Alethe proof rules (#7180) tree | commitdiff
2021-09-15 Andrew ReynoldsEliminate global access to options:: from quantifiers... tree | commitdiff
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194) tree | commitdiff
2021-09-14 Gereon KremerFinal cleanup (#7193) tree | commitdiff
2021-09-14 Andres NoetzliMake `-o raw-benchmark` work with `--parse-only` (... tree | commitdiff
2021-09-14 Andrew ReynoldsSupport sygus version 2.1 command assume (#7081) tree | commitdiff
2021-09-14 Andrew ReynoldsUtilities in preparation for print benchmark utility... tree | commitdiff
2021-09-14 Andrew ReynoldsAdd proof manager method to translate difficulty map... tree | commitdiff
2021-09-14 Gereon KremerRefactor code generation for option modules (#7182) tree | commitdiff
2021-09-14 Gereon KremerTurn sphinx generation into a function (#7181) tree | commitdiff
2021-09-14 Mathias Preinerbv: Unify bit-blasting code for udiv and urem. (#7188) tree | commitdiff
2021-09-14 Mathias Preinerproofs: Properly track pre- and post-rewrites in bbAtom... tree | commitdiff
2021-09-14 Andrew ReynoldsReimplement `--dump=raw-benchmark` as `-o raw-benchmark... tree | commitdiff
2021-09-13 Andres NoetzliRemove context getters from `TheoryState` (#7174) tree | commitdiff
2021-09-13 Andrew ReynoldsConnect difficulty manager to TheoryEngine (#7161) tree | commitdiff
2021-09-13 Gereon KremerAdd Solver::isOutputOn() (#7187) tree | commitdiff
2021-09-13 Aina NiemetzFP: Rename FpConverter to FpWordBlaster. (#7170) tree | commitdiff
2021-09-13 Gereon KremerRefactor generation code for getInfo() (#7176) tree | commitdiff
2021-09-13 Gereon KremerAdd main options to cmake (#7178) tree | commitdiff
2021-09-13 Gereon KremerReorder code (#7175) tree | commitdiff
2021-09-13 Gereon KremerRefactor options parsing (#7143) tree | commitdiff
2021-09-11 Gereon KremerUse StatisticsRegistry from Env (#7166) tree | commitdiff
2021-09-11 Aina NiemetzcheckModel: Extend documentation. (#7177) tree | commitdiff
2021-09-11 Mathias Preinerbv: Move IsPowerOfTwo rule to preprocessing pass and... tree | commitdiff
2021-09-10 Aina NiemetzFP: Enable caching in the theory inference manager... tree | commitdiff
2021-09-10 Mathias Preinerbv: Use EnvObj::rewrite() and EnvObj::options() in... tree | commitdiff
2021-09-10 Aina NiemetzFP: Use EnvObj::rewrite() and options() in theory_fp... tree | commitdiff
2021-09-10 Aina NiemetzFP: Do not send trivial lemmas. (#7167) tree | commitdiff
2021-09-10 mudathirmahgoubAdd Op.java to the java API (#6387) tree | commitdiff
2021-09-10 Andres NoetzliUse C++17 attributes (#7154) tree | commitdiff
2021-09-10 Andrew ReynoldsMore refactoring of set defaults (#7160) tree | commitdiff
2021-09-10 Mathias Preinerbv: Use EnvObj::rewrite() and EnvObj::options() in... tree | commitdiff
2021-09-10 Gereon KremerRefactor command-line help (#7157) tree | commitdiff
2021-09-10 Gereon KremerUse EnvObj-based options in preprocessing (#7165) tree | commitdiff
2021-09-09 Aina Niemetzpp passes: Use EnvObj::rewrite() instead of Rewriter... tree | commitdiff
2021-09-09 Andres NoetzliRemove `TheoryState::getEnv()` (#7163) tree | commitdiff
2021-09-09 Gereon KremerAdd Solver::getOutput() (#7162) tree | commitdiff
2021-09-09 Andrew ReynoldsAdd difficulty manager (#7151) tree | commitdiff
2021-09-09 Andrew ReynoldsAdd difficulty post-processor (#7150) tree | commitdiff
2021-09-09 Andrew ReynoldsDisable shared selectors for quantified logics without... tree | commitdiff
2021-09-09 Andres NoetzliRemove `TheoryState::options()` (#7148) tree | commitdiff
2021-09-09 Andrew ReynoldsRemove deprecated SyGuS method evaluateWithUnfolding... tree | commitdiff
2021-09-08 Andrew ReynoldsAdd Lfsc print channel utilities (#7123) tree | commitdiff
2021-09-08 Andrew ReynoldsImprove pre-skolemization, move quantifiers preprocess... tree | commitdiff
2021-09-08 Gereon KremerRefactor options::set() (#7138) tree | commitdiff
2021-09-08 Gereon KremerWork on comments (#7139) tree | commitdiff
2021-09-08 Gereon KremerA couple of minor cleanups (#7141) tree | commitdiff
2021-09-08 Gereon KremerRefactor code generation for options.h/.cpp (#7126) tree | commitdiff
2021-09-08 Andrew ReynoldsTowards standard usage of ExtendedRewriter (#7145) tree | commitdiff
2021-09-08 Andrew ReynoldsAdd option for using bound inference for relevant asser... tree | commitdiff
2021-09-08 Andrew ReynoldsAdd LFSC side condition conversion utility for list... tree | commitdiff
2021-09-08 mudathirmahgoubAdd Datatype.java to the Java API (#6389) tree | commitdiff
2021-09-08 mudathirmahgoubAdd DatatypeConstructor.java, DatatypeConstructorDecl... tree | commitdiff
2021-09-08 Andrew ReynoldsUse rewriteViaMethod instead of accessing builtin proof... tree | commitdiff
2021-09-07 Andrew ReynoldsRefactoring of proof manager initialization (#7073) tree | commitdiff
2021-09-07 Andres NoetzliUse `EnvObj` methods instead of `Theory` methods (... tree | commitdiff
2021-09-07 Aina Niemetzsygus: Eliminate calls to Rewriter::rewrite. (#7142) tree | commitdiff
2021-09-07 Andrew ReynoldsRefactoring and fixes of set defaults for quantifiers... tree | commitdiff
2021-09-03 Aina NiemetzEnvObj: Add options(), context(), userContext(). (... tree | commitdiff
2021-09-03 MikolasJanotaAvoiding duplicate search in maps (#7055) tree | commitdiff
2021-09-03 Aina Niemetzsygus: Make more classes derive from EnvObj. (#7140) tree | commitdiff
2021-09-03 Gereon KremerRefactor option sanitizations (#7129) tree | commitdiff
2021-09-03 Andrew ReynoldsStandardize Rewriter::rewriteViaMethod call (#7119) tree | commitdiff
2021-09-03 Gereon KremerCheck that alternate is only set for bool (#7125) tree | commitdiff
2021-09-03 Gereon KremerRefactor options::get() and options::getNames() (#7135) tree | commitdiff
2021-09-03 Andrew ReynoldsMake quantifier module classes derive from EnvObj ... tree | commitdiff
2021-09-03 Aina Niemetzsygus: Make CeSingleInv derive from EnvObj. (#7136) tree | commitdiff
2021-09-03 Andrew ReynoldsEliminate backwards ref to SmtEngine from abduction... tree | commitdiff
2021-09-03 Aina Niemetztheory: Have more classes in theory with reference... tree | commitdiff
2021-09-03 Aina Niemetztheory: Have Theory and TheoryArith* derive from EnvObj... tree | commitdiff
2021-09-03 Gereon KremerRemove "experimental" options (#7124) tree | commitdiff
2021-09-03 Aina Niemetzpp: Have PreprocessingPassContext derive from EnvObj... tree | commitdiff
2021-09-02 Andrew ReynoldsAdd LFSC node converter (#6944) tree | commitdiff
2021-09-02 Gereon KremerRefactor options handlers (#7080) tree | commitdiff
2021-09-02 Andres Noetzli[Unit Tests] Fix shell test for Editline (#7117) tree | commitdiff
2021-09-02 Aina NiemetzEnvObj: Restrict access. (#7121) tree | commitdiff
2021-09-02 Gereon KremerAdd API check whether option in getOptionInfo() exists... tree | commitdiff
2021-09-02 Gereon KremerDriver & Options cleanup (#7109) tree | commitdiff
2021-09-02 Andrew ReynoldsRemove more instances of ufHo (#7087) tree | commitdiff
next