summaryrefslogtreecommitdiff
path: root/test/unit
AgeCommit message (Expand)Author
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
2020-12-09google test: expr: Migrate kind_map_black. (#5640)Aina Niemetz
2020-12-09google test: expr: Migrate attribute_white. (#5632)Aina Niemetz
2020-12-09google test: context: Migrate context_white. (#5630)Aina Niemetz
2020-12-08Delete obsolete unit tests for Expr and ExprManager. (#5631)Aina Niemetz
2020-12-08google test: context: Migrate context_mm_black. (#5592)Aina Niemetz
2020-12-08google test: context: Migrate context_black. (#5587)Aina Niemetz
2020-12-04google test: expr: Migrate attribute_black. (#5598)Aina Niemetz
2020-12-04google test: context: Migrate cdo_black. (#5586)Aina Niemetz
2020-12-04google test: context: Migrate cdmap_white. (#5585)Aina Niemetz
2020-12-04google test: api: Migrate sort_black. (#5594)Aina Niemetz
2020-12-04google test: context: Migrate cdmap_black. (#5584)Aina Niemetz
2020-12-04google test: context: Migrate cdlist_black. (#5582)Aina Niemetz
2020-12-03google test: api: Migrate solver_black. (#5570)Aina Niemetz
2020-12-03google test: Add fixture for context tests. (#5590)Aina Niemetz
2020-12-02Update copyright headers.Aina Niemetz
2020-12-02google test: base: Migrate map_util_black. (#5580)Aina Niemetz
2020-12-02Rename macro Message to CVC4Message. (#5576)Aina Niemetz
2020-12-02google test: api: Migrate term_black. (#5571)Aina Niemetz
2020-12-02google test: api: Use individual fixture for datatype_black. (#5568)Aina Niemetz
2020-12-02google test: api: Migrate op_black. (#5567)Aina Niemetz
2020-12-02google test: api: Migrate grammar_black. (#5566)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback