Stream: wg-secure-code

Topic: Deterministic compilation


snf (Jan 17 2019 at 23:04, on Zulip):

It's great that there is interest into it (https://github.com/rust-secure-code/wg/issues/28). Coincidentally, I was looking into it the past week but I haven't made my mind yet if we want a new tool or adapt reprotest. From what I've seen, reprotest supports all the environment we want to manipulate in Linux so a new tool would be a specialized port of it with Windows support (ideally). Anyone has an opinion about it?

Tony Arcieri (Aug 29 2019 at 20:24, on Zulip):

awesome work /cc @snf https://twitter.com/bascule/status/1167156046642610178

Tony Arcieri (Aug 29 2019 at 20:25, on Zulip):

can't wait until it's possible to prove equivalence (or non-equivalence :scream:) of the current build and one reproducibly bootstrapped from mrustc

Last update: Nov 11 2019 at 22:05UTC