x86 translation?

May 21, 2016 at 6: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,