projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Only run pypi packaging when release is published (#8526)
[cvc5.git] / examples / CMakeLists.txt
2022-03-31 Andres NoetzliRemove examples that use the old API (#8486) blob | commitdiff | raw
2021-12-01 mudathirmahgoubEnable Java examples (#7702) blob | commitdiff | raw | diff to current
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534) blob | commitdiff | raw | diff to current
2021-09-30 Gereon KremerRefactor our static builds (#7251) blob | commitdiff | raw | diff to current
2021-08-30 Gereon KremerAdd API function to obtain information about a single... blob | commitdiff | raw | diff to current
2021-05-26 Gereon KremerAdd more examples to the documentation (#6569) blob | commitdiff | raw | diff to current
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzDelete hashsmt example. (#6263) blob | commitdiff | raw | diff to current
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-07-07 Andrew V. JonesIncrease the minimum version of CMake due to the use... blob | commitdiff | raw | diff to current
2020-06-29 Andres NoetzliMake ExprManager constructor private (#4669) blob | commitdiff | raw | diff to current
2020-06-09 Andres NoetzliLanguage bindings: Enable catching of exceptions (... blob | commitdiff | raw | diff to current
2019-10-03 Aina NiemetzTravis: Reenable building and running of examples.... blob | commitdiff | raw | diff to current
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) blob | commitdiff | raw | diff to current
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure... blob | commitdiff | raw | diff to current
2018-11-14 Mathias Preinercmake: Require boost 1.50.0 for examples. (#2710) blob | commitdiff | raw | diff to current
2018-10-09 Aina NiemetzCmake: Fix ctest call for example/translator. (#2600) blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Refactor cvc4_add_unit_test macro to support... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add target runexamples. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Guard examples that require Boost. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: examples: Configure output directory per target. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added java examples blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added target examples (currently .cpp examples... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. blob | commitdiff | raw | diff to current