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
13,753 Commits 59 Branches 0 Tags
master
Commit Graph

14 Commits

Author SHA1 Message Date
Daniel Larraz
e603425598 Bump Pythonic API version (#12280) 
The new version fixes issues with context handling in multiple functions
(cvc5/cvc5_pythonic_api#113) as well as a failing test
(cvc5/cvc5_pythonic_api#112).
 2025-12-02 12:16:19 +00:00
Daniel Larraz
5bb8d67ad6 Bump Pythonic API version (#12135) 2025-09-22 15:26:37 +00:00
Mathias Preiner
f19f42f377 Update copyright headers, add missing header documentation. (#11990) 
Adds missing header documentation for new files, remove carriage returns
from new files.
 2025-06-18 19:41:07 +00:00
Daniel Larraz
49c49a0c77 Bump Pythonic API version and add Pythonic tests (#11951) 
The new version of the Pythonic API ensures that each `Context` has its
own `TermManager`, and that every object uses the correct `Context`.
This fixes #11941.

Additionally, this PR adds tests for the Pythonic versions of the
examples to ensure they continue to work correctly after future changes.
 2025-05-30 15:16:33 +00:00
Aina Niemetz
0647c4c107 Update copyright headers. (#11561) 
Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com>
 2025-01-23 17:54:20 +00:00
Haniel Barbosa
91d8e24014 Bump pythonic version (#10967) 
This new version has support for unsat cores and proofs.

Marking as "major" because this is important for a deadline.
 2024-06-24 22:51:52 +00:00
Aina Niemetz
fdf9ce7138 Update copyright headers. (#10459) 2024-03-12 09:35:09 -07:00
Alex Ozdemir
0f17a868c5 Draft 1 2023-12-11 10:15:52 -08:00
Alex Ozdemir
be94d4ba86 Bump pythonic version (#9951) 2023-08-14 15:35:54 -07:00
Alex Ozdemir
0e220222fd Update Pythonic API to post-FF version. (#9833) 2023-06-23 14:46:25 +00:00
Mathias Preiner
d01e59c13b Update copyright headers for release 1.0 (#8539) 2022-04-05 20:38:57 +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
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