projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New C++ Api: Clean up usage of internal types in Term. (#6054)
[cvc5.git] / examples /
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
2018-07-23 Aina NiemetzNew C++ API: declare-datatype. (#2166) tree | commitdiff
2018-07-03 Aina NiemetzFix datatypes example: nil constructor was missing... tree | commitdiff
2018-06-27 Aina NiemetzHeader for new C++ API. (#1697) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-21 Andres NoetzliFix compiler warning in hashsmt example (#1927) tree | commitdiff
2018-04-05 Andres NoetzliMake Python bindings example compatible w/ Python3... tree | commitdiff
2018-04-02 Clark BarrettRemove references to nyu (#1721) tree | commitdiff
2018-03-21 Aina NiemetzAdd bit-vector extract example. (#1681) tree | commitdiff
2018-03-20 Aina NiemetzAdd parameterized datatypes example. (#1676) tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-03-05 Aina NiemetzAdd support for check-sat-assuming. (#1637) tree | commitdiff
2017-09-27 Andrew ReynoldsAdd quantifiers API example, fixes #879 (#1146) tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Tim KingMoving to static_assert now that c++11 is available. tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf tree | commitdiff
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #131 from makaimann/fix_702 tree | commitdiff
2017-01-11 makaimannProposed fix for bug 702. Checks to make sure the Expr... tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2016-01-06 Tim KingAdd SmtGlobals Class tree | commitdiff
2015-12-30 Tim KingShuffling around public vs. private headers tree | commitdiff
2015-12-27 Clark BarrettMerged my changes from experimental branch (new array... tree | commitdiff
2015-12-23 Clark BarrettAdded extract.cpp example tree | commitdiff
next