summaryrefslogtreecommitdiff
path: root/test/unit/theory/CMakeLists.txt
AgeCommit message (Expand)Author
2021-11-13Add operator set.map to theory of sets (#7641)mudathirmahgoub
2021-10-29Add PfRule ARITH_POLY_NORM (#7501)Andrew Reynolds
2021-07-06Integrate Lazard into CAD module (#6812)Gereon Kremer
2021-06-04pow2: header file for pow2 solver (#6676)yoni206
2021-05-27Add support for Box optimization (#6599)Ouyancheng
2021-05-18Fix `collectEmptyEqs()` in string utils (#6562)Andres Noetzli
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-05Optimizer for BitVectors (#6213)Yancheng Ou
2021-03-29Modular bv2int part 1 (#6212)yoni206
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-05Initial implementation of an optimization solver with unit tests. (#5849)mcjuneho
2021-03-01google test: theory: Migrate theory_quantifiers_bv_inverter_white. (#5991)Aina Niemetz
2021-03-01google test: theory: Migrate theory_quantifiers_bv_instantiator_white. (#5989)Aina Niemetz
2021-03-01google test: theory: Migrate theory_strings_skolem_cache_black. (#6002)Aina Niemetz
2021-03-01google test: theory: Migrate theory_strings_word_white. (#6003)Aina Niemetz
2021-02-27google test: theory: Migrate theory_white. (#6006)Aina Niemetz
2021-02-26google test: theory: Migrate type_enumerator_white. (#6007)Aina Niemetz
2021-02-26google test: theory: Migrate theory_sets_type_rules_white. (#6001)Aina Niemetz
2021-02-26google test: theory: Migrate theory_sets_type_enumerator_white. (#6000)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-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-23google test: theory: Migrate regexp_operation_black. (#5974)Aina Niemetz
2021-02-23google test: theory: Migrate strings_rewriter_white. (#5976)Aina Niemetz
2020-12-02Update copyright headers.Aina Niemetz
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-12-01Improve rewriting of str.<= (#4848)Andres Noetzli
2020-10-21Implement bags evaluator (#5322)mudathirmahgoub
2020-10-21Add operator MakeBagOp for constructing bags (#5209)mudathirmahgoub
2020-10-04Remove subtyping for sets theory (#5179)mudathirmahgoub
2020-09-28Implement bags rewriter (#5132)mudathirmahgoub
2020-09-22Add skeleton for theory of bags (multisets) (#5100)mudathirmahgoub
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-03-20Split string-specific operators from TheoryStringsRewriter (#3920)Andrew Reynolds
2020-03-03Refactoring and cleaning the type enumerator for sets (#3908)mudathirmahgoub
2020-02-24Utilities for words (#3797)Andrew Reynolds
2019-08-29Infer conflicts based on regular expression inclusion (#3234)Andres Noetzli
2019-04-01Fix RewriteITEBv to ensure rewrite to fixpoint (#2878)Andres Noetzli
2018-11-28Improve skolem caching by normalizing skolem args (#2723)Andres Noetzli
2018-09-22cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.Aina Niemetz
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback