summaryrefslogtreecommitdiff
path: root/src/api/python/cvc4.pxd
AgeCommit message (Expand)Author
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-20Add instantiation pool feature to the API (#6358)Andrew Reynolds
2021-04-20python API sorts: adding functions and tests (#6361)yoni206
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-05python: Fix type casting in mkBitVector (#6261)NicolaasWeideman
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2020-11-20Updates to API in preparation for using symbol manager for model (#5481)Andrew Reynolds
2020-11-10Add proper support for the declare-heap command for separation logic (#5405)Andrew Reynolds
2020-11-05Remove mkSingleton from the API (#5366)mudathirmahgoub
2020-10-29Add mkInteger to the API (#5274)mudathirmahgoub
2020-10-20Remove some Commands from the API. (#5268)Abdalrhman Mohamed
2020-10-07New C++ API: Rename Term::isConst() to Term::isValue(). (#5211)Aina Niemetz
2020-10-04Remove subtyping for sets theory (#5179)mudathirmahgoub
2020-09-02[Python API] Add missing methods to Datatype/Term (#4998)Andres Noetzli
2020-09-01[API] Fix Python Examples (#4943)Andres Noetzli
2020-07-31Add SyGuS Python API (#4812)yoni206
2020-07-30Python API: Add support for sequences (#4757)Andres Noetzli
2020-06-29Python Sort tests (#4639)makaimann
2020-06-27Add API for retrieving separation heap/nil term (#4663)Andres Noetzli
2020-06-10Fix getKind for Python bindings (#4496)makaimann
2020-06-06Keep definitions when global-declarations enabled (#4572)Andres Noetzli
2020-06-04Add a method for retrieving base of a constant array through API (#4494)makaimann
2020-06-04Wrap Result in Python API (#4473)makaimann
2020-06-03New C++ Api: First batch of API guards. (#4557)Aina Niemetz
2020-06-02Add Term::substitute to Python bindings (#4499)makaimann
2020-06-02Add hash Op, Sort and Term in Python bindings (#4498)makaimann
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-03-11Simplifications to the Datatypes API (#4040)Andrew Reynolds
2020-02-19Add Python bindings using Cython -- see below for more details (#2879)makaimann
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback