On Fri, Oct 12, 2018 at 02:01:42PM +0200, Andy Polyakov wrote:
> Another contributing factor is lack of opportunities to pursue
> so to say "fundamental" goals, formal validation of assembly code being
> one example.

Formal validation of the assembly code is something I would
actually like to see, and even talked with some people about it.
But I don't have the time to actually get this done.


Kurt

_______________________________________________
openssl-project mailing list
openssl-project@openssl.org
https://mta.openssl.org/mailman/listinfo/openssl-project

Reply via email to