projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033) commit | commitdiff | tree
2021-03-02 Mathias PreinerFix nightly errors. (#6034) commit | commitdiff | tree
2021-03-02 Andrew ReynoldsIntroduce quantifiers term registry (#5983) commit | commitdiff | tree
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) commit | commitdiff | tree
2021-03-02 Aina Niemetzgoogle test: util: Migrate floatingpoint_black. (#6021) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inve... commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate bitvector_black. (#6015) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inst... commit | commitdiff | tree
2021-03-01 Gereon KremerRefactor collection of debug and trace tags (#5996) commit | commitdiff | tree
2021-03-01 Mathias PreinerMake -Werror optional but enable it for CI. (#6032) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate stats_black. (#6029) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate real_algebraic_number_black... commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_white. (#6027) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_black. (#6026) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate output_black. (#6025) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate integer_black. (#6023) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate datatype_black. (#6019) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate configuration_black. (#6018) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate boolean_simplification_black... commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate array_store_all_white. ... commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: util: Migrate integer_white. (#6024) commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_skolem_cach... commit | commitdiff | tree
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_word_white... commit | commitdiff | tree
2021-02-27 Aina Niemetzgoogle test: util: Migrate exception_black. (#6020) commit | commitdiff | tree
2021-02-27 Aina Niemetzgoogle test: util: Migrate check_white. (#6017) commit | commitdiff | tree
2021-02-27 Aina Niemetzgoogle test: util: Migrate cardinality_black. (#6016) commit | commitdiff | tree
2021-02-27 Aina Niemetzgoogle test: theory: Migrate theory_white. (#6006) commit | commitdiff | tree
2021-02-26 Aina Niemetzgoogle test: theory: Migrate type_enumerator_white... commit | commitdiff | tree
2021-02-26 Haniel BarbosaSome formatting and better tracing in prop engine ... commit | commitdiff | tree
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_rules_whi... commit | commitdiff | tree
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_enumerato... commit | commitdiff | tree
2021-02-26 Mathias PreinerFix -Werror issues with clang and use clang for debug... commit | commitdiff | tree
2021-02-26 Aina Niemetzgoogle test: util: Migrate binary_heap_black. (#6012) commit | commitdiff | tree
2021-02-26 Aina Niemetzgoogle test: util: Migrate assert_white. (#6011) commit | commitdiff | tree
2021-02-26 Andrew ReynoldsMinor improvement and fix to smt2 printer (#6009) commit | commitdiff | tree
2021-02-26 Andrew ReynoldsOptionally permit creation of non-flat function types... commit | commitdiff | tree
2021-02-26 Gereon KremerStore Node instead of TNode (#5993) commit | commitdiff | tree
2021-02-26 Andrew Reynolds(proof-new) Fix regular expression unfolding under... commit | commitdiff | tree
2021-02-25 Gereon KremerMove (optional) rewrite from TrustSubstitutionMap to... commit | commitdiff | tree
2021-02-25 Andrew ReynoldsMove slow regressions to regress1 (#5999) commit | commitdiff | tree
2021-02-25 yoni206Datatypes lemmas: share only external types (#5997) commit | commitdiff | tree
2021-02-25 Aina Niemetzgoogle test: Merge Node(Manager) fixtures. (#5998) commit | commitdiff | tree
2021-02-25 Gereon KremerAdd regression. (#5994) commit | commitdiff | tree
2021-02-25 Aina Niemetzgoogle test: theory: Migrate theory_bv_white. (#5987) commit | commitdiff | tree
2021-02-25 Aina Niemetzgoogle test: theory: Migrate theory_bv_rewriter_white... commit | commitdiff | tree
2021-02-25 Aina Niemetzgoogle test: printer: Migrate smt2_printer_black. ... commit | commitdiff | tree
2021-02-25 Mathias PreinerEnable -Werror. (#5969) commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_type_rules_whi... commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_engine_white. ... commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_black. (#5985) commit | commitdiff | tree
2021-02-24 Gereon KremerEnsure static-learning adds rewritten assertions. ... commit | commitdiff | tree
2021-02-24 Gereon Kremer(proof-new) Add proofs for CAD solver (#5981) commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate sequences_rewriter_white... commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_normal_form_wh... commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate logic_info_white. (#5973) commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_rewriter_white... commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_arith_white. (... commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: theory: Migrate evaluator_white. (#5972) commit | commitdiff | tree
2021-02-24 Aina Niemetzgoogle test: prop: Migrate cnf_stream_white. (#5971) commit | commitdiff | tree
2021-02-24 Andrew ReynoldsAdd state and inference manager to inst match generator... commit | commitdiff | tree
2021-02-24 Andrew ReynoldsAdd interface to TheoryState for sort inference and... commit | commitdiff | tree
2021-02-23 Mathias PreinerSwitch to C++17. (#5959) commit | commitdiff | tree
2021-02-23 Aina Niemetzgoogle test: theory: Migrate regexp_operation_black... commit | commitdiff | tree
2021-02-23 Aina Niemetzgoogle test: theory: Migrate strings_rewriter_white... commit | commitdiff | tree
2021-02-23 Gereon KremerAdd proof for mult sign lemma (#5966) commit | commitdiff | tree
2021-02-23 Haniel Barbosa[proof-new] Fix dangling pointer in SAT proof generatio... commit | commitdiff | tree
2021-02-23 Gereon KremerAdd proof for monomial bounds check (#5965) commit | commitdiff | tree
2021-02-23 Gereon Kremer(proof-new) Add proof generator for CAD solver (#5964) commit | commitdiff | tree
2021-02-23 Haniel Barbosa[proof-new] Fix handling of removable clauses in proof... commit | commitdiff | tree
2021-02-23 Gereon KremerAdd trans secant proofs. (#5957) commit | commitdiff | tree
2021-02-23 Andrew ReynoldsExplanation of failure for instantiate, use in enumerat... commit | commitdiff | tree
2021-02-23 Aina Niemetzgoogle test: preprocessing: Migrate pass_bv_gauss_white... commit | commitdiff | tree
2021-02-22 Andrew ReynoldsEliminate raw use of output channel and valuation in... commit | commitdiff | tree
2021-02-22 Andrew ReynoldsMove quantifiers attributes to quantifiers registry... commit | commitdiff | tree
2021-02-22 Andrew Reynolds(proof-new) Change proof-new option to proof (#5955) commit | commitdiff | tree
2021-02-22 Gereon Kremer(proof-new) Add proofs for exponential functions (... commit | commitdiff | tree
2021-02-22 Andrew ReynoldsRequire length-in-conclusion form for strings inference... commit | commitdiff | tree
2021-02-22 Andrew Reynolds(proof-new) Option to automatically add SYMM steps... commit | commitdiff | tree
2021-02-22 Haniel Barbosa[proof-new] Optionally print conclusion in the AST... commit | commitdiff | tree
2021-02-22 Aina Niemetzgoogle test: preprocessing: Migrate pass_foreign_theory... commit | commitdiff | tree
2021-02-22 Gereon KremerAdd the LazyTreeProofGenerator. (#5948) commit | commitdiff | tree
2021-02-22 Gereon Kremer(proof-new) Add new arithmetic kind INDEXED_ROOT_PREDIC... commit | commitdiff | tree
2021-02-22 Gereon Kremer(proof-new) Add proofs for sine lemmas in the transcend... commit | commitdiff | tree
2021-02-22 Gereon KremerCleanup in transcendental solver, add ApproximationBoun... commit | commitdiff | tree
2021-02-22 Gereon Kremeradd pruneRedundantIntervals (#5950) commit | commitdiff | tree
2021-02-22 Andrew ReynoldsFix datatypes inference manager when proofs are enabled... commit | commitdiff | tree
2021-02-19 Andrew ReynoldsSimplify interface to instantiate (#5926) commit | commitdiff | tree
2021-02-19 Andrew ReynoldsFill in missing inference ids in datatypes theory ... commit | commitdiff | tree
2021-02-19 Andrew ReynoldsRefactoring theory inference process (#5920) commit | commitdiff | tree
2021-02-19 Andrew ReynoldsFix rewrite for contains over replace (#5924) commit | commitdiff | tree
2021-02-19 Andrew ReynoldsRemove string stat for inferences (#5932) commit | commitdiff | tree
2021-02-19 Gereon KremerCleanup of inferences in arithmetic theory (#5927) commit | commitdiff | tree
2021-02-19 Aina NiemetzAdd Gereon to AUTHORS list. (#5930) commit | commitdiff | tree
2021-02-18 Gereon KremerAdd statistic for InferenceId to TheoryInferenceManager... commit | commitdiff | tree
2021-02-18 Gereon KremerAdd InferenceIds for sets theory. (#5900) commit | commitdiff | tree
2021-02-18 Gereon KremerNew InferenceIds for BV theory (#5909) commit | commitdiff | tree
2021-02-18 Andrew ReynoldsDocument UF inferences (#5917) commit | commitdiff | tree
2021-02-18 Andrew ReynoldsEliminate non-static members in term util (#5919) commit | commitdiff | tree
2021-02-18 Andrew ReynoldsMove first order model for full model check to own... commit | commitdiff | tree
2021-02-17 Andrew ReynoldsMove methods from term util to quantifiers registry... commit | commitdiff | tree
next