projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Eliminating static calls to rewriter in quantifiers (#7301)
[cvc5.git]
/
examples
/
2021-10-01
mudathirmahgoub
Update java examples using the new Java API (#7225)
tree
|
commitdiff
2021-09-30
Gereon Kremer
Refactor our static builds (#7251)
tree
|
commitdiff
2021-09-29
Abdalrhman Mohamed
Remove support for extended `(check-sat <term>)` comman...
tree
|
commitdiff
2021-09-29
Andrew Reynolds
Update the syntax for tuples in smt2 (#7265)
tree
|
commitdiff
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
tree
|
commitdiff
2021-08-30
Gereon Kremer
Add API function to obtain information about a single...
tree
|
commitdiff
2021-08-23
Aina Niemetz
api: Require size argument for mkBitVector. (#6998)
tree
|
commitdiff
2021-08-19
yoni206
Make the python quickstart example run using ctest...
tree
|
commitdiff
2021-07-29
yoni206
Python quick start example (#6939)
tree
|
commitdiff
2021-07-06
Haniel Barbosa
Porting C++ API examples to SMT-LIB examples (#6789)
tree
|
commitdiff
2021-07-06
Gereon Kremer
Add doc page about transcendentals (#6755)
tree
|
commitdiff
2021-06-23
Aina Niemetz
docs: Add quickstart guide. (#6782)
tree
|
commitdiff
2021-06-16
Aina Niemetz
Make symfpu a required dependency. (#6749)
tree
|
commitdiff
2021-06-15
Haniel Barbosa
CVC4 -> cvc5 in cpp API examples (#6746)
tree
|
commitdiff
2021-06-15
yoni206
An example for a quick start guide (#6686)
tree
|
commitdiff
2021-06-09
Aina Niemetz
docs: Migrate sets and relations theory reference....
tree
|
commitdiff
2021-05-27
Aina Niemetz
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...
tree
|
commitdiff
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
next