This project has moved and is read-only. For the latest updates, please go here.

x86 translation?

May 21, 2016 at 7:56 PM
In the SymDiff description it states "source language" support for x86.
Is there support for x86 to Boogie IVL translation, and if so where do I get it?
I'd like to run symdiff or a custom application using Boogie to verify C/C++ compiled x86 and AMD64 machine code.

Thanks,