search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

Add support on machines where long double and float128 do not have the same size #119

Closed michael-schwarz closed 1 year ago

michael-schwarz commented 1 year ago

Closes #118

michael-schwarz commented 1 year ago

Confirmed on newer machines, but somehow still produces warnings about unmatched cases somewhere, I'll have to investigate that.