summaryrefslogtreecommitdiff
path: root/test/unit
AgeCommit message (Expand)Author
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-25google test: Merge Node(Manager) fixtures. (#5998)Aina Niemetz
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-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-23google test: theory: Migrate regexp_operation_black. (#5974)Aina Niemetz
2021-02-23google test: theory: Migrate strings_rewriter_white. (#5976)Aina Niemetz
2021-02-22google test: preprocessing: Migrate pass_bv_gauss_white. (#5935)Aina Niemetz
2021-02-22google test: preprocessing: Migrate pass_foreign_theory_rewrite_white. (#5936)Aina Niemetz
2021-02-17Add new IntegralHistogramStat (#5898)Gereon Kremer
2021-02-16google test: parser: Migrate parser_builder_black. (#5896)Aina Niemetz
2021-02-11google test: parser: Migrate parser_black. (#5886)Aina Niemetz
2021-02-09google test: expr: Migrate node_manager_black. (#5857)Aina Niemetz
2021-02-09google test: main: Migrate interactive_shell_black. (#5878)Aina Niemetz
2021-02-09google test: expr: Migrate type_cardinality_black. (#5871)Aina Niemetz
2021-02-09google test: expr: Migrate node_self_iterator_black. (#5865)Aina Niemetz
2021-02-08google test: expr: Migrate type_node_white. (#5872)Aina Niemetz
2021-02-08google test: expr: Migrate node_white. (#5869)Aina Niemetz
2021-02-08Use consistent names for fixtures in unit tests. (#5863)Aina Niemetz
2021-02-08google test: expr: Migrate node_traversal_black. (#5868)Aina Niemetz
2021-02-05google test: expr: Migrate symbol_table_black. (#5870)Aina Niemetz
2021-02-05google test: expr: Migrate node_manager_white. (#5864)Aina Niemetz
2021-02-05Remove obsolete include from node_black unit test. (#5862)Aina Niemetz
2021-02-05google test: expr: Migrate node_builder_black. (#5855)Aina Niemetz
2021-02-01Fix BagsRewriter::rewriteUnionDisjoint (#5840)mudathirmahgoub
2021-01-28Remove regex header from cvc4cpp.cpp (#5826)mudathirmahgoub
2021-01-28Simplify lemma interface (#5819)Andrew Reynolds
2021-01-26Reestablishing support for define-sort (#5810)Haniel Barbosa
2021-01-13Add unit test for api getInterpolant() -- issue #5593 (#5772)Ying Sheng
2021-01-12google test: expr: Migrate node_black. (#5764)Aina Niemetz
2021-01-12google test: Use ASSERT_* instead of EXPECT_*. (#5765)Aina Niemetz
2021-01-11Merge theory registrar and theory proxy (#5758)Andrew Reynolds
2021-01-11Further simplifications in preparation for removing Expr layer (#5756)Andrew Reynolds
2021-01-09Strings arith checks preprocessing pass: step 2 (#5750)yoni206
2020-12-15Add getters to retrieve constants from api::Term (#5677)Gereon Kremer
2020-12-10Refactor KindMap (#5646)Gereon Kremer
2020-12-10google test: expr: Migrate node_algorithm_black. (#5643)Aina Niemetz
2020-12-10google test: expr: Migrate kind_black. (#5634)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback