summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-02-26google test: theory: Migrate type_enumerator_white. (#6007)Aina Niemetz
2021-02-26Some formatting and better tracing in prop engine (#6022)Haniel Barbosa
2021-02-26google test: theory: Migrate theory_sets_type_rules_white. (#6001)Aina Niemetz
2021-02-26google test: theory: Migrate theory_sets_type_enumerator_white. (#6000)Aina Niemetz
2021-02-26Fix -Werror issues with clang and use clang for debug-cln build. (#6004)Mathias Preiner
2021-02-26google test: util: Migrate binary_heap_black. (#6012)Aina Niemetz
2021-02-26google test: util: Migrate assert_white. (#6011)Aina Niemetz
2021-02-26Minor improvement and fix to smt2 printer (#6009)Andrew Reynolds
2021-02-26Optionally permit creation of non-flat function types (#6010)Andrew Reynolds
2021-02-25Store Node instead of TNode (#5993)Gereon Kremer
2021-02-25(proof-new) Fix regular expression unfolding under substitution (#5958)Andrew Reynolds
2021-02-26Move (optional) rewrite from TrustSubstitutionMap to SubstitutionMap. (#5992)Gereon Kremer
2021-02-25Move slow regressions to regress1 (#5999)Andrew Reynolds
2021-02-25Datatypes lemmas: share only external types (#5997)yoni206
2021-02-25google test: Merge Node(Manager) fixtures. (#5998)Aina Niemetz
2021-02-25Add regression. (#5994)Gereon Kremer
2021-02-25google test: theory: Migrate theory_bv_white. (#5987)Aina Niemetz
2021-02-25google test: theory: Migrate theory_bv_rewriter_white. (#5986)Aina Niemetz
2021-02-25google test: printer: Migrate smt2_printer_black. (#5970)Aina Niemetz
2021-02-24Enable -Werror. (#5969)Mathias Preiner
2021-02-24google test: theory: Migrate theory_bags_type_rules_white. (#5984)Aina Niemetz
2021-02-24google test: theory: Migrate theory_engine_white. (#5988)Aina Niemetz
2021-02-24google test: theory: Migrate theory_black. (#5985)Aina Niemetz
2021-02-24Ensure static-learning adds rewritten assertions. (#5982)Gereon Kremer
2021-02-24(proof-new) Add proofs for CAD solver (#5981)Gereon Kremer
2021-02-24google test: theory: Migrate sequences_rewriter_white. (#5975)Aina Niemetz
2021-02-24google test: theory: Migrate theory_bags_normal_form_white. (#5978)Aina Niemetz
2021-02-24google test: theory: Migrate logic_info_white. (#5973)Aina Niemetz
2021-02-24google test: theory: Migrate theory_bags_rewriter_white. (#5979)Aina Niemetz
2021-02-24google test: theory: Migrate theory_arith_white. (#5977)Aina Niemetz
2021-02-24google test: theory: Migrate evaluator_white. (#5972)Aina Niemetz
2021-02-24google test: prop: Migrate cnf_stream_white. (#5971)Aina Niemetz
2021-02-23Add state and inference manager to inst match generator (#5968)Andrew Reynolds
2021-02-23Add interface to TheoryState for sort inference and facts (#5967)Andrew Reynolds
2021-02-23Switch to C++17. (#5959)Mathias Preiner
2021-02-23google test: theory: Migrate regexp_operation_black. (#5974)Aina Niemetz
2021-02-23google test: theory: Migrate strings_rewriter_white. (#5976)Aina Niemetz
2021-02-23Add proof for mult sign lemma (#5966)Gereon Kremer
2021-02-23[proof-new] Fix dangling pointer in SAT proof generation (#5963)Haniel Barbosa
2021-02-23Add proof for monomial bounds check (#5965)Gereon Kremer
2021-02-23(proof-new) Add proof generator for CAD solver (#5964)Gereon Kremer
2021-02-23[proof-new] Fix handling of removable clauses in proof cnf stream (#5961)Haniel Barbosa
2021-02-22Add trans secant proofs. (#5957)Gereon Kremer
2021-02-22Explanation of failure for instantiate, use in enumerative instantiation (#5951)Andrew Reynolds
2021-02-22google test: preprocessing: Migrate pass_bv_gauss_white. (#5935)Aina Niemetz
2021-02-22Eliminate raw use of output channel and valuation in quantifiers (#5933)Andrew Reynolds
2021-02-22Move quantifiers attributes to quantifiers registry (#5929)Andrew Reynolds
2021-02-22(proof-new) Change proof-new option to proof (#5955)Andrew Reynolds
2021-02-22(proof-new) Add proofs for exponential functions (#5956)Gereon Kremer
2021-02-22Require length-in-conclusion form for strings inferences (#5953)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback