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

5 Commits

Author SHA1 Message Date
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
Aina Niemetz
00d912f521 parser: Refactor symbol manager to be associated to term manager. (#10939) 2024-06-18 23:21:47 +00:00
Aina Niemetz
354fc4147e Java API: Refactor to expose TermManager. (#10531) 
This is related to the previous refactor of the C++ API in
https://github.com/cvc5/cvc5/pull/10426.
 2024-04-02 16:42:06 +00:00
Aina Niemetz
fdf9ce7138 Update copyright headers. (#10459) 2024-03-12 09:35:09 -07:00
mudathirmahgoub
115d3d200b Add parser to the java api (#10088) 2023-11-28 11:53:30 -06:00