ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
12,073 Commits 59 Branches 0 Tags
25.1
Commit Graph

46 Commits

Author SHA1 Message Date
yoni206
941a842004 fix parallel compilation instructions for python API on mac (#10202) 2023-12-07 21:11:54 +00:00
Alex Ozdemir
fdbbbefd0f More external FF documentation (#10049) 
- document the (extension) theory itself
- add a pythonic API example
 2023-11-10 20:10:27 +00:00
Hans-Jörg
0a35879fc1 Make Proof Rule enum a part of the API (#9925) 
This pull requests makes the enum that lists all proof rules a part of the API.

It also renames the enum from PfRule to ProofRule. It also renames some unrelated types and function names that share the PfRule name (such as DslPfRule).
This rename unfortunately touches many files since PfRule is not an uncommon type. (second to last commit)
 2023-09-27 00:58:03 +00:00
yoni206
918b21d36a Updating missing features in pythonic API (#9929) 
Following cvc5/cvc5_pythonic_api#86 .
 2023-08-07 19:25:31 +00:00
Jerry James
e45b2891d8 Use tomllib or tomli instead of toml (#9913) 
The toml module does not support the latest TOML standard and has not released a new version since 2020. This PR moves from toml to tomli for python < 3.11.0. For 3.11.0 and later, python ships with a tomllib module, based on tomli.

Signed-off-by: Jerry James <loganjerry@gmail.com>
 2023-07-27 16:47:26 +00:00
Mathias Preiner
b9dcf8883d docs: Document pyparsing dependency. (#9639) 2023-03-30 11:23:25 -07:00
yoni206
b314d8d5c5 Add dependencies information for python bindings installation on M1/M2 (#9289) 2023-03-07 18:14:28 -08:00
yoni206
b383a0c995 Docs for installing python API in M1 (#9176) 
Adds documentation instructions for the python API on M1 MacOS.
 2022-10-13 15:32:49 +00:00
Aina Niemetz
9c176f263b docs: Do not use explicit line numbers in literalinclude. (#8690) 2022-05-02 20:13:00 +00:00
Alex Ozdemir
b2c7ea88a3 Write-up for Pythonic API quickstart (#8566) 2022-04-05 02:49:30 +00:00
Alex Ozdemir
1ae29f4353 Bump Pythonic (transcendentals) & exception example (#8553) 
- Bump version of Pythonic API to include transcendentals.
- Document Pythonic API's transcendentals.
- Add exception Pythonic API example.
 2022-04-04 20:11:30 +00:00
Gereon Kremer
f65550a404 Follow renaming within pythonic API (#8532) 
We are renaming files in the pythonic API to make it look less like it is somehow part of z3 (but still acknowledge that we took code from z3Py properly). This PR follows the change in cvc5/cvc5_pythonic_api#80.
 2022-04-02 18:31:32 +00:00
Mathias Preiner
e434fdd15b docs: Add Python installation instructions for pip. (#8538) 2022-04-02 02:26:33 +00:00
Andrew Reynolds
904f7c5524 Add a few miscellaneous pieces of documentation (#8533) 2022-04-02 01:02:47 +00:00
Gereon Kremer
3c18371323 Document special member functions in python API (#8513) 
This PR documents relevant special member functions __getitem__ and __iter__ for some classes in the base python API.
 2022-04-01 13:12:10 -07:00
Aina Niemetz
506a7b8c4a Python API: Do not rename enumerators. (#8507) 
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com>
Co-authored-by: Gereon Kremer <gkremer@stanford.edu>
 2022-04-01 19:45:36 +00:00
Aina Niemetz
8ef22792d2 Python api: Various fixes in docs. (#8480) 2022-04-01 05:45:33 +00:00
Mathias Preiner
f66e2adea0 docs: Remove api namespace. (#8455) 2022-03-31 02:30:21 +00:00
Andrew Reynolds
ba24986fe2 Add SynthResult to the API (#8370) 
Does not modify the code to return a SynthResult yet, just adds the class.

Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
 2022-03-23 21:56:33 +00:00
Gereon Kremer
ea5e75d04a Integrate pythonic api (#8131) 
We decided we want to ship the pythonic API together with our base python API.
This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
 2022-03-03 02:16:09 +00:00
Gereon Kremer
8002adccc9 Use Add instead of Plus (#8043) 
This fixes the current documentation builds for the pythonic API
 2022-02-04 01:19:08 +00:00
Alex Ozdemir
6388657820 Change name of Python API's package from pycvc5 to cvc5. (#7953) 
In the process, I changed a CMake target name from pycvc5 to
cvc5_base_py_api. I could not change the target to cvc5, because that
name is taken.
 2022-02-02 23:45:42 +00:00
Gereon Kremer
3f4895d558 Some random documentation issues (#7921) 
This PR fixes a few issues in the documentation, mostly about examples that were not included where they should be.
 2022-01-18 20:32:17 +00:00
Alex Ozdemir
082ffeaffc Rename python APIs (#7950) 
Rename python APIs to "base" and "pythonic"
 2022-01-14 21:45:19 +00:00
Alex Ozdemir
e8a14a4051 Add new idiomatic examples (#7912) 2022-01-11 00:49:02 +00:00