summaryrefslogtreecommitdiff
path: root/examples/api/CMakeLists.txt
AgeCommit message (Expand)Author
2021-05-26Add more examples to the documentation (#6569)Gereon Kremer
2021-05-14Stop using the solver for printing sygus synthesis solutions. (#6530)Abdalrhman Mohamed
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-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-30Python API: Add support for sequences (#4757)Andres Noetzli
2020-06-23New C++ API: Remove examples for old API. (#4650)Aina Niemetz
2020-05-21Make Grammar reusable. (#4506)Abdalrhman Mohamed
2020-04-20Introduce a public interface for Sygus commands. (#4204)Abdalrhman Mohamed
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
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 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