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
Mathias Preiner
cc808da53d api: Unify mkOp variants. (#8369) 
Co-authored-by: Gereon Kremer <nafur42@gmail.com>
 2022-03-25 23:57:10 +00:00
Andrew Reynolds
444a2f493e Add unit for fixed project issue (#8253) 
Fixes cvc5/cvc5-projects#377.

Was not able to reproduce this on master.
 2022-03-08 02:53:18 +00:00