summaryrefslogtreecommitdiff
path: root/test/unit/expr/CMakeLists.txt
AgeCommit message (Expand)Author
2021-03-17Rename test/unit/expr to test/unit/node. (#6156)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-02-09google test: expr: Migrate node_manager_black. (#5857)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-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-05google test: expr: Migrate node_builder_black. (#5855)Aina Niemetz
2021-01-12google test: expr: Migrate node_black. (#5764)Aina Niemetz
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-08Delete obsolete unit tests for Expr and ExprManager. (#5631)Aina Niemetz
2020-12-04google test: expr: Migrate attribute_black. (#5598)Aina Niemetz
2020-12-02Update copyright headers.Aina Niemetz
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-03-27Node traversal iterator (#3845)Alex Ozdemir
2019-07-22Get operators in node (#3094)yoni206
2018-09-22cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.Aina Niemetz
2018-09-22cmake: More documentation, clean up.Aina Niemetz
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback