summaryrefslogtreecommitdiff
path: root/examples/CMakeLists.txt
AgeCommit message (Expand)Author
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-08-30Add API function to obtain information about a single option (#6980)Gereon Kremer
2021-05-26Add more examples to the documentation (#6569)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-01Delete hashsmt example. (#6263)Aina Niemetz
2021-03-20Generate cvc/Kind.java for the java API (#6143)mudathirmahgoub
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-07-07Increase the minimum version of CMake due to the use of 'APPEND' with strings...Andrew V. Jones
2020-06-29Make ExprManager constructor private (#4669)Andres Noetzli
2020-06-09Language bindings: Enable catching of exceptions (#2813)Andres Noetzli
2019-10-03Travis: Reenable building and running of examples. (#3351)Aina Niemetz
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2018-11-14cmake: Require boost 1.50.0 for examples. (#2710)Mathias Preiner
2018-10-08Cmake: Fix ctest call for example/translator. (#2600)Aina Niemetz
2018-09-22cmake: Add more documentation, some fixes and cleanup.Mathias Preiner
2018-09-22cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.Aina Niemetz
2018-09-22cmake: Add target runexamples.Aina Niemetz
2018-09-22cmake: Guard examples that require Boost.Mathias Preiner
2018-09-22cmake: examples: Configure output directory per target.Aina Niemetz
2018-09-22cmake: Added java examplesAina Niemetz
2018-09-22cmake: Added target examples (currently .cpp examples only)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