Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-06-16 | Update copyright headers. | Aina Niemetz | |
2019-03-26 | Update copyright headers. | Aina Niemetz | |
2018-09-22 | cmake: Refactor cvc4_add_unit_test macro to support test names with '/'. | Aina Niemetz | |
Required for consistent naming of tests, unit test names now also use the test naming scheme <category>/<subdir>/<test name>, e.g., unit/theory/theory_bv_white. | |||
2018-09-22 | cmake: More documentation, clean up. | Aina Niemetz | |
2018-09-22 | cmake: Add target units. | Aina Niemetz | |
2018-08-23 | Add missing overrides in unit tests (#2362) | Andres Noetzli | |
2018-08-08 | Proposal for adding map utility functions to CVC4. (#2232) | Tim King | |
* Proposal for adding map utility functions to CVC4. |