summaryrefslogtreecommitdiff
path: root/test/unit
AgeCommit message (Expand)Author
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
2020-12-02Use new let binding for cvc printer (#5561)Andrew Reynolds
2020-12-01google test: api: Migrate result_black. (#5569)Aina Niemetz
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-12-01Improve rewriting of str.<= (#4848)Andres Noetzli
2020-11-25Fully decouple SmtEngine and the Expr layer (#5532)Andrew Reynolds
2020-11-25Use symbol manager for printing responses get-model (#5516)Andrew Reynolds
2020-11-20Add posRewriteEqual to bags rewriter (#5498)mudathirmahgoub
2020-11-20Updates to API in preparation for using symbol manager for model (#5481)Andrew Reynolds
2020-11-18Fix asan issues related to solver and symbol manager (#5457)Andrew Reynolds
2020-11-11Move symbol manager to src/expr/ (#5420)Andrew Reynolds
2020-11-10Add proper support for the declare-heap command for separation logic (#5405)Andrew Reynolds
2020-11-09Add symbol manager (#5380)Andrew Reynolds
2020-11-05Simplify printing with respect to expression types (#5394)Andrew Reynolds
2020-11-05Remove mkSingleton from the API (#5366)mudathirmahgoub
2020-11-03Add support for printing `re.loop` and `re.^` (#5392)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback