Use `Cilint` in `CInt64`

goblint / cil

C Intermediate Language

https://goblint.github.io/cil/

Other

40 stars 16 forks source link

Use `Cilint` in `CInt64` #47

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 3 years ago

Since we have given up compatibility with original CIL a while ago, this simplifies the handling of constants by not relying on their textual representation.

sim642 commented 2 years ago

Or maybe use Zarith directly? As an intermediate step maybe reimplement the Cilint module using Zarith inside (if it's used abstractly enough in the rest of CIL)?