search

kframework / c-semantics

Semantics of C in K
Other
303 stars 40 forks source link

Fix the size of unsigned long and long long #639

Closed virgil-serbanuta closed 3 years ago