projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix regressions in regress1 after #4613. (#4616)
[cvc5.git] / examples /
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
2015-12-19 Tim KingModifying emptyset.h and sexpr. Adding SetLanguage. tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-07-28 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-06-30 Kshitij Bansalfix sets-translate tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-23 Clark BarrettA few more minor updates to match google repository... tree | commitdiff
2014-12-09 Morgan DetersCleanup. tree | commitdiff
2014-12-06 Tianyi LiangAdded string constant in java api example. tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
next