projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix pto handling for heaps that are not a subset of the base heap (#8942)
[cvc5.git]
/
examples
/
2022-06-09
Andres Noetzli
[Java API] Do not link JNI libraries (#8870)
tree
|
commitdiff
2022-05-02
Aina Niemetz
docs: Do not use explicit line numbers in literalinclud...
tree
|
commitdiff
2022-04-13
mudathirmahgoub
Add Relation and Table types to SMTLib parser (#8605)
tree
|
commitdiff
2022-04-05
Mathias Preiner
Update copyright headers for release 1.0 (#8539)
tree
|
commitdiff
2022-04-05
Alex Ozdemir
Write-up for Pythonic API quickstart (#8566)
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Rename mkSygusGrammar to mkGrammar (#8544)
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Remove variant of mkDatatypeDecl with one sort paramete...
tree
|
commitdiff
2022-04-02
Aina Niemetz
api: Rename get(Selector|Constructor)Term() to getTerm...
tree
|
commitdiff
2022-04-02
Aina Niemetz
api: Remove DatatypeConstructor::getSelectorTerm()...
tree
|
commitdiff
2022-04-01
Aina Niemetz
api: Remove Datatype::getConstructorTerm(). (#8529)
tree
|
commitdiff
2022-04-01
Aina Niemetz
Python API: Do not rename enumerators. (#8507)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Remove decorator from python API (#8505)
tree
|
commitdiff
2022-04-01
Andres Noetzli
[API] Remove redundant version of `mkFunctionSort`...
tree
|
commitdiff
2022-04-01
Mathias Preiner
api: Swap arguments of declareSygusVar. (#8499)
tree
|
commitdiff
2022-03-31
Andres Noetzli
Remove examples that use the old API (#8486)
tree
|
commitdiff
2022-03-31
mudathirmahgoub
Add examples/bags.cpp (#8463)
tree
|
commitdiff
2022-03-31
Andres Noetzli
Move Java package to `io.github.cvc5` (#8469)
tree
|
commitdiff
2022-03-30
Abdalrhman Mohamed
Show the code for utilities in the docs. (#8387)
tree
|
commitdiff
2022-03-29
Mathias Preiner
Introduce internal namespace and remove api namespace...
tree
|
commitdiff
2022-03-29
mudathirmahgoub
Add bags.rst (#8432)
tree
|
commitdiff
2022-03-29
Andres Noetzli
Move `RoundingMode` to `cvc5_types.h` (#8427)
tree
|
commitdiff
2022-03-25
Mathias Preiner
api: Unify mkOp variants. (#8369)
tree
|
commitdiff
2022-03-25
Andrew Reynolds
Update checkSynth and checkSynthNext to return SynthRes...
tree
|
commitdiff
2022-03-25
Andrew Reynolds
Properly guard commands in the SyGuS API (#8390)
tree
|
commitdiff
2022-03-23
Gereon Kremer
Add API unit tests for statistics (#8341)
tree
|
commitdiff
2022-03-22
Mathias Preiner
api: Unify mkTerm variants. (#8357)
tree
|
commitdiff
2022-03-21
Andres Noetzli
Remove `Op::getIndices()` (#8355)
tree
|
commitdiff
2022-03-14
Andrew Reynolds
Remove unecessary methods from the API (#8260)
tree
|
commitdiff
2022-02-24
Andrew Reynolds
Check for free variables in several SolverEngine calls...
tree
|
commitdiff
2022-02-04
Aina Niemetz
FP: Rename tester kinds. (#8037)
tree
|
commitdiff
2022-02-03
Aina Niemetz
Rename kind PLUS -> ADD. (#8036)
tree
|
commitdiff
2022-02-03
Aina Niemetz
api: Rename kinds MINUS -> SUB and UMINUS -> NEG. ...
tree
|
commitdiff
2022-02-02
Alex Ozdemir
Change name of Python API's package from pycvc5 to...
tree
|
commitdiff
2022-02-02
Aina Niemetz
api: Rename mk<Value> functions for FP for consistency...
tree
|
commitdiff
2021-12-17
mudathirmahgoub
Add relations.cpp, relations.py examples (#7801)
tree
|
commitdiff
2021-12-13
mudathirmahgoub
Update Relations.java (#7796)
tree
|
commitdiff
2021-12-08
Gereon Kremer
Turn kinds in python API into a proper Enum (#7686)
tree
|
commitdiff
2021-12-07
mudathirmahgoub
Add documentation for QuickStart.java (#7730)
tree
|
commitdiff
2021-12-01
mudathirmahgoub
Enable Java examples (#7702)
tree
|
commitdiff
2021-11-29
Sujit Kumar Muduli
Bug in printing parameter list in define_fun_to_string...
tree
|
commitdiff
2021-11-24
Aina Niemetz
examples: Update python api datatypes example. (#7692)
tree
|
commitdiff
2021-11-24
Aina Niemetz
examples: Update Java datatypes example with recent...
tree
|
commitdiff
2021-11-24
Aina Niemetz
examples: Extend DT api example with APPLY_TESTER and...
tree
|
commitdiff
2021-11-17
mudathirmahgoub
Update SimpleVC.java (#7647)
tree
|
commitdiff
2021-11-16
mudathirmahgoub
Fix compile errors with java examples (#7646)
tree
|
commitdiff
2021-11-15
Aina Niemetz
api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)
tree
|
commitdiff
2021-11-10
Aina Niemetz
sets: Rename set.intersection to set.inter. (#7622)
tree
|
commitdiff
2021-11-09
Aina Niemetz
sets: Update theory reference and smt2 examples. (...
tree
|
commitdiff
2021-11-08
Aina Niemetz
sets: Rename kinds with a more consistent naming scheme...
tree
|
commitdiff
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
tree
|
commitdiff
2021-11-03
mudathirmahgoub
Enable CI for Junit tests (#7436)
tree
|
commitdiff
2021-10-28
Abdalrhman Mohamed
Add a `define-fun` command for each `:named` term....
tree
|
commitdiff
2021-10-22
mudathirmahgoub
Refactor java package name from cvc5 to io.github.cvc5...
tree
|
commitdiff
2021-10-07
Gereon Kremer
Add a binary / SMT-LIB quickstart (#7315)
tree
|
commitdiff
2021-10-07
Gereon Kremer
Replace doubles by rationals in C++ quickstart (#7317)
tree
|
commitdiff
2021-10-04
Gereon Kremer
Add sygus examples to documentation (#7303)
tree
|
commitdiff
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
next