projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
More precise includes of `Node` constants (#6617)
[cvc5.git]
/
examples
/
2021-05-26
Gereon Kremer
Add more examples to the documentation (#6569)
tree
|
commitdiff
2021-05-21
Aina Niemetz
BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)
tree
|
commitdiff
2021-05-20
yoni206
Avoid using printSynthSolution in the python API and...
tree
|
commitdiff
2021-05-14
Abdalrhman Mohamed
Stop using the solver for printing sygus synthesis...
tree
|
commitdiff
2021-05-14
Alex Ozdemir
Add getId function to python API (#6523)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-20
Aina Niemetz
Remove support for CVC3 language. (#6369)
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Delete hashsmt example. (#6263)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-20
mudathirmahgoub
Generate cvc/Kind.java for the java API (#6143)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2020-12-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-11-20
Andrew Reynolds
Updates to API in preparation for using symbol manager...
tree
|
commitdiff
2020-11-05
mudathirmahgoub
Remove mkSingleton from the API (#5366)
tree
|
commitdiff
2020-10-29
mudathirmahgoub
Add mkInteger to the API (#5274)
tree
|
commitdiff
2020-10-04
mudathirmahgoub
Remove subtyping for sets theory (#5179)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-02
Andres Noetzli
[API] Fix Python Examples (#4943)
tree
|
commitdiff
2020-08-03
yoni206
Examples for using sygus python api (#4822)
tree
|
commitdiff
2020-07-30
Andres Noetzli
Python API: Add support for sequences (#4757)
tree
|
commitdiff
2020-07-07
Andrew V. Jones
Increase the minimum version of CMake due to the use...
tree
|
commitdiff
2020-06-29
Andres Noetzli
Make ExprManager constructor private (#4669)
tree
|
commitdiff
2020-06-23
Aina Niemetz
New C++ API: Remove examples for old API. (#4650)
tree
|
commitdiff
2020-06-19
Andres Noetzli
Cleanup examples (#4634)
tree
|
commitdiff
2020-06-18
Andres Noetzli
Improve memory management in Java bindings (#4629)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-09
Andres Noetzli
Language bindings: Enable catching of exceptions (...
tree
|
commitdiff
2020-06-09
Andres Noetzli
Fix Java target and Relations example (#4583)
tree
|
commitdiff
2020-06-04
makaimann
Wrap Result in Python API (#4473)
tree
|
commitdiff
2020-06-04
Aina Niemetz
New C++ Api: First batch of API guards. (#4557)
tree
|
commitdiff
2020-05-23
Abdalrhman Mohamed
Fix mistakes in sygus API comments. (#4520)
tree
|
commitdiff
2020-05-21
Abdalrhman Mohamed
Make Grammar reusable. (#4506)
tree
|
commitdiff
2020-04-21
Abdalrhman Mohamed
Introduce a public interface for Sygus commands. (...
tree
|
commitdiff
2020-04-15
Andrew Reynolds
Change option names --default-dag-thresh and --default...
tree
|
commitdiff
2020-04-01
Aina Niemetz
Rename checkValid/query to checkEntailed. (#4191)
tree
|
commitdiff
2020-03-12
Andrew Reynolds
Simplifications to the Datatypes API (#4040)
tree
|
commitdiff
2020-03-05
Andrew Reynolds
Migrate a majority of the functionality in parsers...
tree
|
commitdiff
2020-02-25
mudathirmahgoub
Sets & Relations Java example (#3816)
tree
|
commitdiff
2020-02-19
makaimann
Add Python bindings using Cython -- see below for more...
tree
|
commitdiff
2020-02-19
makaimann
Change datatype selector/constructor/tester to terms...
tree
|
commitdiff
2020-02-12
Andres Noetzli
Rename Java package to edu.stanford.CVC4 (#3752)
tree
|
commitdiff
2019-12-06
Andrew Reynolds
Add ExprManager as argument to Datatype (#3535)
tree
|
commitdiff
2019-12-02
makaimann
OpTerm Refactor: Allow retrieving OpTerm used to create...
tree
|
commitdiff
2019-11-18
Andrew Reynolds
Updates to the unit tests, api, and examples for dataty...
tree
|
commitdiff
2019-10-03
Aina Niemetz
Travis: Reenable building and running of examples....
tree
|
commitdiff
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-08-08
Mathias Preiner
Fix issues with Ninja build system and add configure...
tree
|
commitdiff
2019-06-22
Andres Noetzli
Add floating-point support in the Java API (#3063)
tree
|
commitdiff
2019-05-16
Andres Noetzli
Fix iterators in Java API (#3000)
tree
|
commitdiff
2019-04-30
Andres Noetzli
Fix use of APPLY kind in examples (#2984)
tree
|
commitdiff
2019-04-26
Aina Niemetz
New C++ API: Clean up API: mkVar vs mkConst vs mkBoundV...
tree
|
commitdiff
2019-04-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-04-01
makaimann
Update includes to use cvc4 top-level directory in...
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-03-19
Aina Niemetz
New C++: Remove redundant mkVar function.
tree
|
commitdiff
2019-02-13
Aina Niemetz
New C++ API: Remove redundant declareFun function....
tree
|
commitdiff
2019-01-29
Aina Niemetz
New C++ API: Fix checks for mkTerm. (#2820)
tree
|
commitdiff
2019-01-03
Aina Niemetz
New C++ API: Add tests for mk-functions in solver objec...
tree
|
commitdiff
2018-11-14
Mathias Preiner
cmake: Require boost 1.50.0 for examples. (#2710)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-10-09
Aina Niemetz
Cmake: Fix ctest call for example/translator. (#2600)
tree
|
commitdiff
2018-10-04
Aina Niemetz
New C++ API: Add checks for Sorts. (#2519)
tree
|
commitdiff
2018-10-04
Aina Niemetz
Fix mem leak in sha1_collision example. (#2588)
tree
|
commitdiff
2018-10-04
Aina Niemetz
Fix mem leak in sets_translate example. (#2589)
tree
|
commitdiff
2018-09-26
Aina Niemetz
cmake: New INSTALL.md for build and testing instruction...
tree
|
commitdiff
2018-09-26
Aina Niemetz
examples/hashsmt/sha1_inversion: Fix includes for newer...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add more documentation, some fixes and cleanup.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Refactor cvc4_add_unit_test macro to support...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Add target runexamples.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Guard examples that require Boost.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: examples: Configure output directory per target.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added java examples
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added target examples (currently .cpp examples...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-12
Aina Niemetz
Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES....
tree
|
commitdiff
2018-09-04
Andres Noetzli
Remove CVC3 compatibility layer (#2418)
tree
|
commitdiff
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
tree
|
commitdiff
2018-07-26
Aina Niemetz
New C++ API: Enable examples. (#2222)
tree
|
commitdiff
2018-07-23
Aina Niemetz
New C++ API: declare-datatype. (#2166)
tree
|
commitdiff
2018-07-03
Aina Niemetz
Fix datatypes example: nil constructor was missing...
tree
|
commitdiff
2018-06-27
Aina Niemetz
Header for new C++ API. (#1697)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-05-21
Andres Noetzli
Fix compiler warning in hashsmt example (#1927)
tree
|
commitdiff
2018-04-05
Andres Noetzli
Make Python bindings example compatible w/ Python3...
tree
|
commitdiff
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
tree
|
commitdiff
2018-03-21
Aina Niemetz
Add bit-vector extract example. (#1681)
tree
|
commitdiff
2018-03-20
Aina Niemetz
Add parameterized datatypes example. (#1676)
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-03-05
Aina Niemetz
Add support for check-sat-assuming. (#1637)
tree
|
commitdiff
2017-09-27
Andrew Reynolds
Add quantifiers API example, fixes #879 (#1146)
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-17
Tim King
Moving to static_assert now that c++11 is available.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
next