Improve u128/i128 compiler compatibility

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Improve u128/i128 compiler compatibility #145

Closed jam1garner closed 3 years ago

jam1garner commented 3 years ago

Lower Minimum GCC Version to ~4.1 (https://godbolt.org/z/hq3Pe8)
Lower Minimum clang Version to ~3.0 (https://godbolt.org/z/fozo5T)

I haven't tested any lower than these versions, however the version from master doesn't even compile programs with any version of either clang or gcc I can find, so I imagine this is an improvement?

aep commented 3 years ago

sorry, i broke the rebase :/

lgtm tho. good idea to fix that

jam1garner commented 3 years ago

I think that should fix rebase? lmk if not