Official compiler

[rsw0x via Digitalmars-d]

On Thursday, 18 February 2016 at 17:52:10 UTC, Kai Nacke wrote:
> I really like the compiler diversity. What I miss (hint!) is a 
> program to verify the compiler/backend correctness. Just 
> generate a random D program, compile with all 3 compilers and 
> compare the output. IMHO we could find a lot of backend bugs 
> this way. This would help all D compilers.
>
> Regards,
> Kai

reminds me of csmith
  https://embed.cs.utah.edu/csmith/

I believe Brian Schott had worked on something like this for D... 
Did that ever go anywhere?