search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
36 stars 23 forks source link

Adding support for MInt{128} #1160

Closed Robertorosmaninho closed 3 weeks ago

Robertorosmaninho commented 3 weeks ago

This PR extends our Machine Integers support to also support 128 bits for k hashing and for equality function ==K. This is necessary for one of our light semantics in Pi2.