projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Revisit strings extended function decomposition (#2892)
[cvc5.git] / examples /
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
2014-11-05 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-17 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-16 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-11 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' tree | commitdiff
2014-10-09 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-02 Morgan DetersMerge branch '1.4.x'. tree | commitdiff
2014-09-30 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-27 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-26 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' tree | commitdiff
2014-08-24 Kshitij Bansalfix type in sets_translate tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp tree | commitdiff
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets tree | commitdiff
2014-06-30 Kshitij BansalUse FS as the set-logic string for theory of sets tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Kshitij Bansalsets api example tree | commitdiff
2014-06-25 Kshitij Bansalrename subseteq to subset in smtlib, all kinds and... tree | commitdiff
2014-06-22 Kshitij BansalRenaming of SMT2 operator names, kinds for set theory tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
next