projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
remove stuff (#7258)
[cvc5.git]
/
src
/
api
/
2021-09-29
mudathirmahgoub
Add Sort.java to the java API (#6382)
tree
|
commitdiff
2021-09-23
Gereon Kremer
Eliminate Output macro in favor of simple Env functions...
tree
|
commitdiff
2021-09-20
Alex Ozdemir
Start python API Solver documentation (#7064)
tree
|
commitdiff
2021-09-17
Andres Noetzli
Use a single `NodeManager` per thread (#7204)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Add get-difficulty to the API (#7194)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Support sygus version 2.1 command assume (#7081)
tree
|
commitdiff
2021-09-13
Gereon Kremer
Add Solver::isOutputOn() (#7187)
tree
|
commitdiff
2021-09-10
mudathirmahgoub
Add Op.java to the java API (#6387)
tree
|
commitdiff
2021-09-09
Gereon Kremer
Add Solver::getOutput() (#7162)
tree
|
commitdiff
2021-09-08
mudathirmahgoub
Add Datatype.java to the Java API (#6389)
tree
|
commitdiff
2021-09-08
mudathirmahgoub
Add DatatypeConstructor.java, DatatypeConstructorDecl...
tree
|
commitdiff
2021-09-02
Gereon Kremer
Add API check whether option in getOptionInfo() exists...
tree
|
commitdiff
2021-09-01
Andrew Reynolds
Print response to get-model using the API (#7084)
tree
|
commitdiff
2021-09-01
Gereon Kremer
No longer use direct access to options in driver (...
tree
|
commitdiff
2021-08-30
Gereon Kremer
Add API function to obtain information about a single...
tree
|
commitdiff
2021-08-30
mudathirmahgoub
Add kind BAG_MAP and its type rule to bags (#6503)
tree
|
commitdiff
2021-08-30
yoni206
python docs for Datatype-related classes (#7058)
tree
|
commitdiff
2021-08-27
Gereon Kremer
Add Driver options (#7078)
tree
|
commitdiff
2021-08-27
Andrew Reynolds
Add missing methods to Solver API for models (#7052)
tree
|
commitdiff
2021-08-27
yoni206
Add `isNull` to cpp api tests, python api, and python...
tree
|
commitdiff
2021-08-23
yoni206
Adding parameters to Datatype python API documentation...
tree
|
commitdiff
2021-08-23
Aina Niemetz
api: Require size argument for mkBitVector. (#6998)
tree
|
commitdiff
2021-08-20
Gereon Kremer
Make driver use options from the solver (#6930)
tree
|
commitdiff
2021-08-20
Andrew Reynolds
Simplify how user-provided quantifier attributes are...
tree
|
commitdiff
2021-08-20
mudathirmahgoub
Add Term.java to the Java API (#6330)
tree
|
commitdiff
2021-08-20
Gereon Kremer
Add CVC5ApiOptionException (#6992)
tree
|
commitdiff
2021-08-05
Alex Ozdemir
Normalize val in BitVector(val_str, base) (#6955)
tree
|
commitdiff
2021-08-04
Gereon Kremer
Refactor managed streams (#6934)
tree
|
commitdiff
2021-08-04
Gereon Kremer
Add API function to get list of option names (#6971)
tree
|
commitdiff
2021-08-04
Haniel Barbosa
[proof] Add getProof to API and use it in GetProofComma...
tree
|
commitdiff
2021-08-04
Alex Ozdemir
Add IEEE-BV-to-FP to external-to-internal mapping in...
tree
|
commitdiff
2021-07-31
Gereon Kremer
Perform statistics printing via the API (#6952)
tree
|
commitdiff
2021-07-30
Gereon Kremer
Allow changing certain options while solving (#6945)
tree
|
commitdiff
2021-07-28
makaimann
Fixes for building python wheels on manylinux2014 ...
tree
|
commitdiff
2021-07-22
mudathirmahgoub
Add std::vector<Term> Op:: getIndices() and operator...
tree
|
commitdiff
2021-07-14
Gereon Kremer
Clean up option usage in command executor (#6844)
tree
|
commitdiff
2021-07-08
makaimann
Add script to build wheel for pycvc5 (#6839)
tree
|
commitdiff
2021-06-28
Andrew Reynolds
Rename internal string kinds to match API (#6797)
tree
|
commitdiff
2021-06-26
yoni206
pow2 -- final changes (#6800)
tree
|
commitdiff
2021-06-24
Aina Niemetz
api: getRealValue: Fix printing of integer values....
tree
|
commitdiff
2021-06-22
yoni206
python api unit tests for Op (#6785)
tree
|
commitdiff
2021-06-22
yoni206
Python api unit tests for Result (#6763)
tree
|
commitdiff
2021-06-21
mudathirmahgoub
Add Grammar.java to the java API (#6388)
tree
|
commitdiff
2021-06-19
Ying Sheng
Adding python API test part 5 (#6743)
tree
|
commitdiff
2021-06-16
Aina Niemetz
Make symfpu a required dependency. (#6749)
tree
|
commitdiff
2021-06-15
yoni206
pow2: adding a kind, inference rules, and some implemen...
tree
|
commitdiff
2021-06-15
Gereon Kremer
Remove public option wrappers (#6716)
tree
|
commitdiff
2021-06-09
Andres Noetzli
Update CVC4 URLs/macros (#6666)
tree
|
commitdiff
2021-06-09
Andres Noetzli
docs: Fix `Kind` description (#6712)
tree
|
commitdiff
2021-06-08
Alex Ozdemir
Change output of getRealValue to a fraction. (#6692)
tree
|
commitdiff
2021-06-03
yoni206
Adding unit tests for the datatypes python API (#6658)
tree
|
commitdiff
2021-06-02
Andres Noetzli
Remove references to `bv-div-zero-const` in docs (...
tree
|
commitdiff
2021-06-02
yoni206
Adding getters to the python API and testing them ...
tree
|
commitdiff
2021-06-02
Gereon Kremer
Remove `Options::operator[]` (#6649)
tree
|
commitdiff
2021-06-01
yoni206
Some additions to the datatypes python API (#6640)
tree
|
commitdiff
2021-06-01
yoni206
FP value support in python API (#6644)
tree
|
commitdiff
2021-05-31
yoni206
Update `toPythonObj` to use new getters -- part 1 ...
tree
|
commitdiff
2021-05-28
yoni206
Python API: bugfix + translating tests from cpp unit...
tree
|
commitdiff
2021-05-27
Andres Noetzli
Fix `str.replace_re` and `str.replace_re_all` (#6615)
tree
|
commitdiff
2021-05-27
Aina Niemetz
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...
tree
|
commitdiff
2021-05-26
Andres Noetzli
More precise includes of `Node` constants (#6617)
tree
|
commitdiff
2021-05-25
Andres Noetzli
[Unit tests] Fix path of Java bindings (#6616)
tree
|
commitdiff
2021-05-21
Andrew Reynolds
Update to sygus standard output for check-synth respons...
tree
|
commitdiff
2021-05-21
makaimann
Use scikit-build CMake files for pycvc5 (#6543)
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-20
Gereon Kremer
Minor improvements to the API (#6585)
tree
|
commitdiff
2021-05-20
Gereon Kremer
Add more getters for api::Term (#6496)
tree
|
commitdiff
2021-05-18
mudathirmahgoub
Add Solver.java to the Java API (#6196)
tree
|
commitdiff
2021-05-14
mudathirmahgoub
Add Result.java to the java API (#6385)
tree
|
commitdiff
2021-05-13
Mathias Preiner
Add std::hash overloads for Node, TNode and TypeNode...
tree
|
commitdiff
2021-05-13
yoni206
Adding functions to the python API and testing them...
tree
|
commitdiff
2021-05-13
Alex Ozdemir
Fix error message in toPythonObj (#6524)
tree
|
commitdiff
2021-05-10
mudathirmahgoub
Add doc to Kind.java (#6498)
tree
|
commitdiff
2021-05-08
yoni206
Adding functions to the python API and testing them...
tree
|
commitdiff
2021-05-08
Andrew Reynolds
Add support for datatype update (#6449)
tree
|
commitdiff
2021-05-07
makaimann
Fix for toPythonObj of integer value with real sort...
tree
|
commitdiff
2021-05-05
makaimann
Save block comments associated with each kind when...
tree
|
commitdiff
2021-05-04
Gereon Kremer
Improve generation of python API documentation (#6482)
tree
|
commitdiff
2021-04-28
Gereon Kremer
Remove exception headers from options.h (#6456)
tree
|
commitdiff
2021-04-27
Gereon Kremer
Initial setup for docs of python API (#6445)
tree
|
commitdiff
2021-04-27
Gereon Kremer
Use std::hash for API types (#6432)
tree
|
commitdiff
2021-04-22
Gereon Kremer
Add API documentation for statistics (#6364)
tree
|
commitdiff
2021-04-22
Haniel Barbosa
Reconciling proofs and unsat cores (#6405)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-21
mudathirmahgoub
Add getNumIndices to Op (#6386)
tree
|
commitdiff
2021-04-20
Andrew Reynolds
Add instantiation pool feature to the API (#6358)
tree
|
commitdiff
2021-04-20
yoni206
python API sorts: adding functions and tests (#6361)
tree
|
commitdiff
2021-04-16
Gereon Kremer
Replace SExpr class by simpler conversion routines...
tree
|
commitdiff
2021-04-15
Aina Niemetz
Rename occurrences of CVC4 to CVC5. (#6351)
tree
|
commitdiff
2021-04-15
Gereon Kremer
Fix printing of stats when aborted. (#6362)
tree
|
commitdiff
2021-04-14
Gereon Kremer
Improve documentation for FP rounding mode, add bibliog...
tree
|
commitdiff
2021-04-14
Gereon Kremer
Improve documentation of API kinds (#6341)
tree
|
commitdiff
2021-04-14
Gereon Kremer
Improve documentation for API exceptions (#6340)
tree
|
commitdiff
2021-04-14
Gereon Kremer
Refactor / reimplement statistics (#6162)
tree
|
commitdiff
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
tree
|
commitdiff
2021-04-14
Haniel Barbosa
[unsat-cores] Improving new unsat cores (#6356)
tree
|
commitdiff
2021-04-13
Abdalrhman Mohamed
Fix sexpr bug with AST output language. (#6329)
tree
|
commitdiff
2021-04-12
Andrew Reynolds
Fix computation of whether a type is finite (#6312)
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
next