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 ( 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

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: Apr 04 2020 at 03:45UTC