projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Initial setup for docs of python API (#6445)
[cvc5.git] / src / api / python /
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445) tree | commitdiff
2021-04-27 Gereon KremerUse std::hash for API types (#6432) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358) tree | commitdiff
2021-04-20 yoni206python API sorts: adding functions and tests (#6361) tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) tree | commitdiff
2021-04-07 Mathias Preinercmake: Do not always regenerate cvc4kinds.{pxi,pxd... tree | commitdiff
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-06 Mathias Preinerparsekinds: Remove DEFAULT_HEADER. (#6294) tree | commitdiff
2021-04-05 NicolaasWeidemanpython: Fix type casting in mkBitVector (#6261) tree | commitdiff
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-31 yoni206Fix compilation of Python bindings for named build... tree | commitdiff
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143) tree | commitdiff
2021-03-16 Mathias Preinercmake: Generate cvc4_export.h and set visibility to... tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-02-25 Mathias PreinerEnable -Werror. (#5969) tree | commitdiff
2020-11-20 Andrew ReynoldsUpdates to API in preparation for using symbol manager... tree | commitdiff
2020-11-10 Andrew ReynoldsAdd proper support for the declare-heap command for... tree | commitdiff
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366) tree | commitdiff
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274) tree | commitdiff
2020-10-20 Abdalrhman MohamedRemove some Commands from the API. (#5268) tree | commitdiff
2020-10-07 Aina NiemetzNew C++ API: Rename Term::isConst() to Term::isValue... tree | commitdiff
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179) tree | commitdiff
2020-09-23 Andres Noetzli[Python API] Conversion to/from Unicode strings (#5120) tree | commitdiff
2020-09-22 makaimannAdd method to get Python object from constant value... tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-02 Andres Noetzli[Python API] Add missing methods to Datatype/Term ... tree | commitdiff
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) tree | commitdiff
2020-08-03 makaimannDelete solver pointer in Cython __dealloc__ (#4799) tree | commitdiff
2020-08-01 yoni206Add SyGuS Python API (#4812) tree | commitdiff
2020-07-30 Andres NoetzliPython API: Add support for sequences (#4757) tree | commitdiff
2020-06-29 makaimannPython Sort tests (#4639) tree | commitdiff
2020-06-27 Andres NoetzliAdd API for retrieving separation heap/nil term (#4663) tree | commitdiff
2020-06-10 makaimannFix getKind for Python bindings (#4496) tree | commitdiff
2020-06-06 Andres NoetzliKeep definitions when global-declarations enabled ... tree | commitdiff
2020-06-05 makaimannAdd a method for retrieving base of a constant array... tree | commitdiff
2020-06-04 makaimannWrap Result in Python API (#4473) tree | commitdiff
2020-06-04 Aina NiemetzNew C++ Api: First batch of API guards. (#4557) tree | commitdiff
2020-06-03 makaimannAdd Term::substitute to Python bindings (#4499) tree | commitdiff
2020-06-02 makaimannAdd hash Op, Sort and Term in Python bindings (#4498) tree | commitdiff
2020-04-04 Aina NiemetzNew C++ API: Remove Op::getSort(). (#4208) tree | commitdiff
2020-04-01 Aina NiemetzRename checkValid/query to checkEntailed. (#4191) tree | commitdiff
2020-03-12 Aina NiemetzNew C++ API: Remove support for (reset). (#4037) tree | commitdiff
2020-03-12 Andrew ReynoldsSimplifications to the Datatypes API (#4040) tree | commitdiff
2020-03-12 makaimannAdd automatic Cython binding installation (#3933) tree | commitdiff
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more... tree | commitdiff