projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Refactor collection of debug and trace tags (#5996)
[cvc5.git] / test /
2021-03-01 Aina Niemetzgoogle test: util: Migrate stats_black. (#6029) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate real_algebraic_number_black... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_white. (#6027) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_black. (#6026) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate output_black. (#6025) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate integer_black. (#6023) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate datatype_black. (#6019) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate configuration_black. (#6018) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate boolean_simplification_black... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate array_store_all_white. ... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate integer_white. (#6024) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_skolem_cach... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_word_white... tree | commitdiff
2021-02-27 Aina Niemetzgoogle test: util: Migrate exception_black. (#6020) tree | commitdiff
2021-02-27 Aina Niemetzgoogle test: util: Migrate check_white. (#6017) tree | commitdiff
2021-02-27 Aina Niemetzgoogle test: util: Migrate cardinality_black. (#6016) tree | commitdiff
2021-02-27 Aina Niemetzgoogle test: theory: Migrate theory_white. (#6006) tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: theory: Migrate type_enumerator_white... tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_rules_whi... tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_enumerato... tree | commitdiff
2021-02-26 Mathias PreinerFix -Werror issues with clang and use clang for debug... tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: util: Migrate binary_heap_black. (#6012) tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: util: Migrate assert_white. (#6011) tree | commitdiff
2021-02-25 Gereon KremerMove (optional) rewrite from TrustSubstitutionMap to... tree | commitdiff
2021-02-25 Andrew ReynoldsMove slow regressions to regress1 (#5999) tree | commitdiff
2021-02-25 Aina Niemetzgoogle test: Merge Node(Manager) fixtures. (#5998) tree | commitdiff
2021-02-25 Gereon KremerAdd regression. (#5994) tree | commitdiff
2021-02-25 Aina Niemetzgoogle test: theory: Migrate theory_bv_white. (#5987) tree | commitdiff
2021-02-25 Aina Niemetzgoogle test: theory: Migrate theory_bv_rewriter_white... tree | commitdiff
2021-02-25 Aina Niemetzgoogle test: printer: Migrate smt2_printer_black. ... tree | commitdiff
2021-02-25 Mathias PreinerEnable -Werror. (#5969) tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_type_rules_whi... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_engine_white. ... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_black. (#5985) tree | commitdiff
2021-02-24 Gereon KremerEnsure static-learning adds rewritten assertions. ... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate sequences_rewriter_white... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_normal_form_wh... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate logic_info_white. (#5973) tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_rewriter_white... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_arith_white. (... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate evaluator_white. (#5972) tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: prop: Migrate cnf_stream_white. (#5971) tree | commitdiff
2021-02-23 Aina Niemetzgoogle test: theory: Migrate regexp_operation_black... tree | commitdiff
2021-02-23 Aina Niemetzgoogle test: theory: Migrate strings_rewriter_white... tree | commitdiff
2021-02-23 Aina Niemetzgoogle test: preprocessing: Migrate pass_bv_gauss_white... tree | commitdiff
2021-02-22 Andrew Reynolds(proof-new) Change proof-new option to proof (#5955) tree | commitdiff
2021-02-22 Andrew ReynoldsRequire length-in-conclusion form for strings inference... tree | commitdiff
2021-02-22 Aina Niemetzgoogle test: preprocessing: Migrate pass_foreign_theory... tree | commitdiff
2021-02-19 Andrew ReynoldsFix rewrite for contains over replace (#5924) tree | commitdiff
2021-02-17 Gereon KremerAdd new IntegralHistogramStat (#5898) tree | commitdiff
2021-02-16 Aina Niemetzgoogle test: parser: Migrate parser_builder_black.... tree | commitdiff
2021-02-11 Aina Niemetzgoogle test: parser: Migrate parser_black. (#5886) tree | commitdiff
2021-02-11 Andrew ReynoldsFix spurious assertion failure in regexp normalization... tree | commitdiff
2021-02-10 Andrew ReynoldsFix open proof for factoring lemma (#5885) tree | commitdiff
2021-02-10 Andrew ReynoldsSimplify method for inferring proxy lemmas in strings... tree | commitdiff
2021-02-09 Aina Niemetzgoogle test: expr: Migrate node_manager_black. (#5857) tree | commitdiff
2021-02-09 Aina Niemetzgoogle test: main: Migrate interactive_shell_black... tree | commitdiff
2021-02-09 Aina Niemetzgoogle test: expr: Migrate type_cardinality_black.... tree | commitdiff
2021-02-09 Aina Niemetzgoogle test: expr: Migrate node_self_iterator_black... tree | commitdiff
2021-02-09 Haniel Barbosa[quantifiers] Fix prenex computation (#5879) tree | commitdiff
2021-02-09 Aina Niemetzgoogle test: expr: Migrate type_node_white. (#5872) tree | commitdiff
2021-02-08 Andrew ReynoldsFix disequality between seq.unit terms (#5880) tree | commitdiff
2021-02-08 Aina Niemetzgoogle test: expr: Migrate node_white. (#5869) tree | commitdiff
2021-02-08 Aina NiemetzUse consistent names for fixtures in unit tests. (... tree | commitdiff
2021-02-08 Aina Niemetzgoogle test: expr: Migrate node_traversal_black. (... tree | commitdiff
2021-02-06 Andrew ReynoldsDo not combine theories if theory engine needs check... tree | commitdiff
2021-02-05 Aina Niemetzgoogle test: expr: Migrate symbol_table_black. (#5870) tree | commitdiff
2021-02-05 Aina Niemetzgoogle test: expr: Migrate node_manager_white. (#5864) tree | commitdiff
2021-02-05 Aina NiemetzRemove obsolete include from node_black unit test.... tree | commitdiff
2021-02-05 Aina Niemetzgoogle test: expr: Migrate node_builder_black. (#5855) tree | commitdiff
2021-02-04 Haniel Barbosa[proof-new] Catch trivial cycles in SAT proof generatio... tree | commitdiff
2021-02-03 Haniel Barbosa[proof-new] Fix MACRO_RESOLUTION expansion for singleto... tree | commitdiff
2021-02-02 Andrew Reynolds(proof-new) Miscellaneous fixes and regressions (#5841) tree | commitdiff
2021-02-02 Andrew ReynoldsRemove quantifiers regression from decision folder... tree | commitdiff
2021-02-02 Haniel Barbosa[proof-new] Fix bug in expansion of MACRO_RESOLUTION... tree | commitdiff
2021-02-01 mudathirmahgoubFix BagsRewriter::rewriteUnionDisjoint (#5840) tree | commitdiff
2021-01-30 Andrew ReynoldsFix unguarded call to get representative (#5838) tree | commitdiff
2021-01-29 Haniel Barbosa[proof-new] Connecting new unsat cores (#5834) tree | commitdiff
2021-01-29 mudathirmahgoubAdd bag inferences for operators: intersection, duplica... tree | commitdiff
2021-01-28 mudathirmahgoubRemove regex header from cvc4cpp.cpp (#5826) tree | commitdiff
2021-01-28 Andrew ReynoldsSimplify lemma interface (#5819) tree | commitdiff
2021-01-28 Andrew ReynoldsAlways theory-preprocess lemmas (#5817) tree | commitdiff
2021-01-27 Andrew Reynolds(proof-new) Improvements to quantifiers engine and... tree | commitdiff
2021-01-26 Andrew ReynoldsRemove deprecated quantifiers modules (#5820) tree | commitdiff
2021-01-26 Haniel BarbosaReestablishing support for define-sort (#5810) tree | commitdiff
2021-01-25 mudathirmahgoubRefactor bags::SolverState (#5783) tree | commitdiff
2021-01-25 Andrew ReynoldsEnsure uses of ground terms in triggers are preprocesse... tree | commitdiff
2021-01-21 Andrew ReynoldsAdd div, mod, abs in non-strict parsing mode (#5793) tree | commitdiff
2021-01-20 Andrew ReynoldsFix corner case of wrongly applied selector as trigger... tree | commitdiff
2021-01-20 Andrew ReynoldsDo not track processed in remove term formulas loop... tree | commitdiff
2021-01-20 Aina NiemetzSMT2 parser: Do not add non-linear symbols for linear... tree | commitdiff
2021-01-20 Andrew ReynoldsUse arbitrary ground term assignment for sorts where... tree | commitdiff
2021-01-15 Andrew ReynoldsImplement --no-strings-lazy-pp as a preprocessing pass... tree | commitdiff
2021-01-13 Ying ShengAdd unit test for api getInterpolant() -- issue #5593... tree | commitdiff
2021-01-13 Andrew ReynoldsDo not call ppRewrite on Boolean equalities (#5762) tree | commitdiff
2021-01-12 Aina Niemetzgoogle test: expr: Migrate node_black. (#5764) tree | commitdiff
2021-01-12 Aina Niemetzgoogle test: Use ASSERT_* instead of EXPECT_*. (#5765) tree | commitdiff
2021-01-12 yoni206Foreign theory rewrite option (#5763) tree | commitdiff
2021-01-11 Andrew ReynoldsMerge theory registrar and theory proxy (#5758) tree | commitdiff
2021-01-11 Andrew ReynoldsFurther simplifications in preparation for removing... tree | commitdiff
next