projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminating static calls to rewriter from strings (#7302)
[cvc5.git] / examples /
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) tree | commitdiff
2021-09-30 Gereon KremerRefactor our static builds (#7251) tree | commitdiff
2021-09-29 Abdalrhman MohamedRemove support for extended `(check-sat <term>)` comman... tree | commitdiff
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265) tree | commitdiff
2021-09-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-08-30 Gereon KremerAdd API function to obtain information about a single... tree | commitdiff
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) tree | commitdiff
2021-08-19 yoni206Make the python quickstart example run using ctest... tree | commitdiff
2021-07-29 yoni206Python quick start example (#6939) tree | commitdiff
2021-07-06 Haniel BarbosaPorting C++ API examples to SMT-LIB examples (#6789) tree | commitdiff
2021-07-06 Gereon KremerAdd doc page about transcendentals (#6755) tree | commitdiff
2021-06-23 Aina Niemetzdocs: Add quickstart guide. (#6782) tree | commitdiff
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) tree | commitdiff
2021-06-15 Haniel BarbosaCVC4 -> cvc5 in cpp API examples (#6746) tree | commitdiff
2021-06-15 yoni206An example for a quick start guide (#6686) tree | commitdiff
2021-06-09 Aina Niemetzdocs: Migrate sets and relations theory reference.... tree | commitdiff
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... tree | commitdiff
2021-05-26 Gereon KremerAdd more examples to the documentation (#6569) tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-20 yoni206Avoid using printSynthSolution in the python API and... tree | commitdiff
2021-05-14 Abdalrhman MohamedStop using the solver for printing sygus synthesis... tree | commitdiff
2021-05-14 Alex OzdemirAdd getId function to python API (#6523) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) tree | commitdiff
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-01 Aina NiemetzDelete hashsmt example. (#6263) tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-11-20 Andrew ReynoldsUpdates to API in preparation for using symbol manager... tree | commitdiff
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366) tree | commitdiff
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274) tree | commitdiff
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) tree | commitdiff
2020-08-03 yoni206Examples for using sygus python api (#4822) tree | commitdiff
2020-07-30 Andres NoetzliPython API: Add support for sequences (#4757) tree | commitdiff
2020-07-07 Andrew V. JonesIncrease the minimum version of CMake due to the use... tree | commitdiff
2020-06-29 Andres NoetzliMake ExprManager constructor private (#4669) tree | commitdiff
2020-06-23 Aina NiemetzNew C++ API: Remove examples for old API. (#4650) tree | commitdiff
2020-06-19 Andres NoetzliCleanup examples (#4634) tree | commitdiff
2020-06-18 Andres NoetzliImprove memory management in Java bindings (#4629) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-09 Andres NoetzliLanguage bindings: Enable catching of exceptions (... tree | commitdiff
2020-06-09 Andres NoetzliFix Java target and Relations example (#4583) tree | commitdiff
2020-06-04 makaimannWrap Result in Python API (#4473) tree | commitdiff
2020-06-04 Aina NiemetzNew C++ Api: First batch of API guards. (#4557) tree | commitdiff
2020-05-23 Abdalrhman MohamedFix mistakes in sygus API comments. (#4520) tree | commitdiff
2020-05-21 Abdalrhman MohamedMake Grammar reusable. (#4506) tree | commitdiff
2020-04-21 Abdalrhman MohamedIntroduce a public interface for Sygus commands. (... tree | commitdiff
2020-04-15 Andrew ReynoldsChange option names --default-dag-thresh and --default... tree | commitdiff
2020-04-01 Aina NiemetzRename checkValid/query to checkEntailed. (#4191) tree | commitdiff
2020-03-12 Andrew ReynoldsSimplifications to the Datatypes API (#4040) tree | commitdiff
2020-03-05 Andrew ReynoldsMigrate a majority of the functionality in parsers... tree | commitdiff
2020-02-25 mudathirmahgoubSets & Relations Java example (#3816) tree | commitdiff
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more... tree | commitdiff
2020-02-19 makaimannChange datatype selector/constructor/tester to terms... tree | commitdiff
2020-02-12 Andres NoetzliRename Java package to edu.stanford.CVC4 (#3752) tree | commitdiff
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535) tree | commitdiff
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create... tree | commitdiff
2019-11-18 Andrew ReynoldsUpdates to the unit tests, api, and examples for dataty... tree | commitdiff
2019-10-03 Aina NiemetzTravis: Reenable building and running of examples.... tree | commitdiff
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure... tree | commitdiff
2019-06-22 Andres NoetzliAdd floating-point support in the Java API (#3063) tree | commitdiff
2019-05-16 Andres NoetzliFix iterators in Java API (#3000) tree | commitdiff
2019-04-30 Andres NoetzliFix use of APPLY kind in examples (#2984) tree | commitdiff
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV... tree | commitdiff
2019-04-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-04-01 makaimannUpdate includes to use cvc4 top-level directory in... tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function. tree | commitdiff
2019-02-13 Aina NiemetzNew C++ API: Remove redundant declareFun function.... tree | commitdiff
2019-01-29 Aina NiemetzNew C++ API: Fix checks for mkTerm. (#2820) tree | commitdiff
2019-01-03 Aina NiemetzNew C++ API: Add tests for mk-functions in solver objec... tree | commitdiff
2018-11-14 Mathias Preinercmake: Require boost 1.50.0 for examples. (#2710) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-10-09 Aina NiemetzCmake: Fix ctest call for example/translator. (#2600) tree | commitdiff
2018-10-04 Aina NiemetzNew C++ API: Add checks for Sorts. (#2519) tree | commitdiff
2018-10-04 Aina NiemetzFix mem leak in sha1_collision example. (#2588) tree | commitdiff
2018-10-04 Aina NiemetzFix mem leak in sets_translate example. (#2589) tree | commitdiff
2018-09-26 Aina Niemetzcmake: New INSTALL.md for build and testing instruction... tree | commitdiff
2018-09-26 Aina Niemetzexamples/hashsmt/sha1_inversion: Fix includes for newer... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Refactor cvc4_add_unit_test macro to support... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add target runexamples. tree | commitdiff
2018-09-22 Mathias Preinercmake: Guard examples that require Boost. tree | commitdiff
2018-09-22 Aina Niemetzcmake: examples: Configure output directory per target. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added java examples tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added target examples (currently .cpp examples... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-12 Aina NiemetzExamples: Remove obsolete flag CVC4_MAKE_EXAMPLES.... tree | commitdiff
2018-09-04 Andres NoetzliRemove CVC3 compatibility layer (#2418) tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-07-26 Aina NiemetzNew C++ API: Enable examples. (#2222) tree | commitdiff
next