• BCS (2/2) Mar 06 2008 Has anyone done formal code proofs of D code. I've got an idea for a pro...
• Robert Fraser (2/5) Mar 07 2008 I /think/ Andrei mentioned it a few times.

BCS <ao pathlink.com> writes:

Has anyone done formal code proofs of D code. I've got an idea for a project 
that might need it and am wondering if anyone has any pointers/stories/etc.

Robert Fraser <fraserofthenight gmail.com> writes:

BCS wrote:
 Has anyone done formal code proofs of D code. I've got an idea for a 
 project that might need it and am wondering if anyone has any 
 pointers/stories/etc.

I /think/ Andrei mentioned it a few times.