Remove CDDenseSet data structure (#7890)
[cvc5.git] / examples /
2021-12-17 mudathirmahgoubAdd relations.cpp, relations.py examples (#7801)
2021-12-13 mudathirmahgoubUpdate Relations.java (#7796)
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686)
2021-12-07 mudathirmahgoubAdd documentation for QuickStart.java (#7730)
2021-12-01 mudathirmahgoubEnable Java examples (#7702)
2021-11-29 Sujit Kumar MuduliBug in printing parameter list in define_fun_to_string...
2021-11-24 Aina Niemetzexamples: Update python api datatypes example. (#7692)
2021-11-24 Aina Niemetzexamples: Update Java datatypes example with recent...
2021-11-24 Aina Niemetzexamples: Extend DT api example with APPLY_TESTER and...
2021-11-17 mudathirmahgoubUpdate SimpleVC.java (#7647)
2021-11-16 mudathirmahgoubFix compile errors with java examples (#7646)
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)
2021-11-10 Aina Niemetzsets: Rename set.intersection to set.inter. (#7622)
2021-11-09 Aina Niemetzsets: Update theory reference and smt2 examples. (...
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme...
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534)
2021-11-03 mudathirmahgoubEnable CI for Junit tests (#7436)
2021-10-28 Abdalrhman MohamedAdd a `define-fun` command for each `:named` term....
2021-10-22 mudathirmahgoubRefactor java package name from cvc5 to io.github.cvc5...
2021-10-07 Gereon KremerAdd a binary / SMT-LIB quickstart (#7315)
2021-10-07 Gereon KremerReplace doubles by rationals in C++ quickstart (#7317)
2021-10-04 Gereon KremerAdd sygus examples to documentation (#7303)
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225)
2021-09-30 Gereon KremerRefactor our static builds (#7251)
2021-09-29 Abdalrhman MohamedRemove support for extended `(check-sat <term>)` comman...
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265)
2021-09-22 Mathias PreinerRemove CVC language support (#7219)
2021-08-30 Gereon KremerAdd API function to obtain information about a single...
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998)
2021-08-19 yoni206Make the python quickstart example run using ctest...
2021-07-29 yoni206Python quick start example (#6939)
2021-07-06 Haniel BarbosaPorting C++ API examples to SMT-LIB examples (#6789)
2021-07-06 Gereon KremerAdd doc page about transcendentals (#6755)
2021-06-23 Aina Niemetzdocs: Add quickstart guide. (#6782)
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749)
2021-06-15 Haniel BarbosaCVC4 -> cvc5 in cpp API examples (#6746)
2021-06-15 yoni206An example for a quick start guide (#6686)
2021-06-09 Aina Niemetzdocs: Migrate sets and relations theory reference....
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...
2021-05-26 Gereon KremerAdd more examples to the documentation (#6569)
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)
2021-05-20 yoni206Avoid using printSynthSolution in the python API and...
2021-05-14 Abdalrhman MohamedStop using the solver for printing sygus synthesis...
2021-05-14 Alex OzdemirAdd getId function to python API (#6523)
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371)
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369)
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316)
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327)
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292)
2021-04-01 Aina NiemetzDelete hashsmt example. (#6263)
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258)
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249)
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143)
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081)
2020-12-03 Aina NiemetzUpdate copyright headers.
2020-11-20 Andrew ReynoldsUpdates to API in preparation for using symbol manager...
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366)
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274)
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179)
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and...
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943)
2020-08-03 yoni206Examples for using sygus python api (#4822)
2020-07-30 Andres NoetzliPython API: Add support for sequences (#4757)
2020-07-07 Andrew V. JonesIncrease the minimum version of CMake due to the use...
2020-06-29 Andres NoetzliMake ExprManager constructor private (#4669)
2020-06-23 Aina NiemetzNew C++ API: Remove examples for old API. (#4650)
2020-06-19 Andres NoetzliCleanup examples (#4634)
2020-06-18 Andres NoetzliImprove memory management in Java bindings (#4629)
2020-06-16 Aina NiemetzUpdate copyright headers.
2020-06-09 Andres NoetzliLanguage bindings: Enable catching of exceptions (...
2020-06-09 Andres NoetzliFix Java target and Relations example (#4583)
2020-06-04 makaimannWrap Result in Python API (#4473)
2020-06-04 Aina NiemetzNew C++ Api: First batch of API guards. (#4557)
2020-05-23 Abdalrhman MohamedFix mistakes in sygus API comments. (#4520)
2020-05-21 Abdalrhman MohamedMake Grammar reusable. (#4506)
2020-04-21 Abdalrhman MohamedIntroduce a public interface for Sygus commands. (...
2020-04-15 Andrew ReynoldsChange option names --default-dag-thresh and --default...
2020-04-01 Aina NiemetzRename checkValid/query to checkEntailed. (#4191)
2020-03-12 Andrew ReynoldsSimplifications to the Datatypes API (#4040)
2020-03-05 Andrew ReynoldsMigrate a majority of the functionality in parsers...
2020-02-25 mudathirmahgoubSets & Relations Java example (#3816)
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more...
2020-02-19 makaimannChange datatype selector/constructor/tester to terms...
2020-02-12 Andres NoetzliRename Java package to edu.stanford.CVC4 (#3752)
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535)
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create...
2019-11-18 Andrew ReynoldsUpdates to the unit tests, api, and examples for dataty...
2019-10-03 Aina NiemetzTravis: Reenable building and running of examples....
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196)
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228)
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure...
2019-06-22 Andres NoetzliAdd floating-point support in the Java API (#3063)
2019-05-16 Andres NoetzliFix iterators in Java API (#3000)
2019-04-30 Andres NoetzliFix use of APPLY kind in examples (#2984)
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV...
2019-04-03 Aina NiemetzUpdate copyright headers.
2019-04-01 makaimannUpdate includes to use cvc4 top-level directory in...
2019-03-26 Aina NiemetzUpdate copyright headers.
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function.
2019-02-13 Aina NiemetzNew C++ API: Remove redundant declareFun function....
next