mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
718 stars 147 forks source link

Only upload one copy of linux binaries to releases #1721

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

We upload the statically-linked Alpine edge binaries, as these are probably the most portable.

Note that the statically-linked Alpine binaries are actually smaller than the Debian executables (~35 MB archive vs ~41 MB archive), though the Debian ones are pie (position-independent executables, supporting Address Space Layout Randomization).

Current names file names: fiat-crypto-windows.zip fiat-crypto-macos.tar.gz fiat-crypto-linux-x86_64.tar.gz

Suggestions welcome cc @andres-erbsen