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
10,996 Commits 59 Branches 0 Tags
23.2
Commit Graph

4 Commits

Author SHA1 Message Date
Mathias Preiner
d01e59c13b Update copyright headers for release 1.0 (#8539) 2022-04-05 20:38:57 +00:00
Mathias Preiner
bbcd471ed4 Introduce internal namespace and remove api namespace. (#8443) 
The public cvc5 API now lives in the cvc5 namespace. All internal parts were moved into the (new) internal namespace.
The final hierarchy will be as follows:

cvc5
  ~~ public API
  ::context
  ::internal
  ::parser
  ::main

After this PR it will be:

cvc5
  ~~ public API
  ::internal
      ::context
      ::main
  ::parser
 2022-03-29 23:23:01 +00:00
Gereon Kremer
561b989855 Refactor IO stream manipulators (#7555) 
This PR consolidates SetLanguage, ExprSetDepth and ExprDag into a single consistent utility. Also, it makes it play more nicely with users setting these options and removes some obsolete code.
 2021-11-22 22:31:31 +00:00
yoni206
40272d5f3a Translating API tests to Python — part 1 (#7597) 
This PR translates some of the API tests from here to Python. The other tests are translated in a private branch and will be added in a separate PR.
 2021-11-16 18:56:37 +00:00