Automatic inference of a formal specification of the x86_64 instruction set - View it on GitHub