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
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
fdf9ce7138 Update copyright headers. (#10459) 2024-03-12 09:35:09 -07:00
Aina Niemetz
0a8baa0f0a Update copyright headers. (#9736) 2023-05-09 18:06:18 +00:00
Aina Niemetz
713b33f983 unit: Fix integer_black unit tests. (#9083) 
Due to different (old) glibc versions, DEATH was triggered in different
places on the cluster and on CI. This generalizes the DEATH message to
match on in the unit tests.
 2022-08-25 17:34:11 +00:00
Aina Niemetz
1fe4d0e933 Use assertions instead of (Pretty)CheckArgument in integer_*_imp. (#9062) 
This is in preparation for getting rid of IllegalArgumentException.
This exception was originally used for guards in the old API and is now
obsolete.
 2022-08-23 20:28:28 +00:00
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
cb4274dd5d Add explicit 64bit getters for Integer class (#7728) 
This PR addresses a few issues on our 32bit builds. Most importantly, it adds int64_t Integer::getSigned64() and uint64_t Integer::getUnsigned64().
 2021-12-02 22:33:04 +00:00
Aina Niemetz
7ec3005875 Refactor and update copyright headers. (#6316) 2021-04-12 19:31:43 +00:00
Aina Niemetz
05a53a2ac4 Rename namespace CVC5 to cvc5. (#6258) 2021-04-01 16:56:14 +00:00
Aina Niemetz
a1466978fb Rename namespace CVC4 to CVC5. (#6249) 2021-03-31 22:23:17 +00:00
Aina Niemetz
b302cb1f92 Update copyright headers to 2021. (#6081) 2021-03-09 07:27:03 +00:00
Gereon Kremer
a02a794c38 More cleanup of includes to reduce compilation times (#6037) 
Similar to #6031, this PR implements suggestions from iwyu to reduce the number of includes in header files by introducing forward declarations and moving includes to source files.
 2021-03-03 16:50:45 +00:00
Aina Niemetz
1ac07e7a49 google test: util: Migrate integer_black. (#6023) 2021-03-01 14:02:54 +00:00