A Coq formalization of an x86-64 assembler, based on the x86 macro assembler by Andrew Kennedy, Nick Benton, Jonas B. Jensen and Pierre-Evariste Dagand.
Requires:
- Coq trunk
- Ssreflect trunk
- OCamlbind (https://github.com/maximedenes/ocamlbind)
A Coq formalization of an x86-64 assembler, based on the x86 macro assembler by Andrew Kennedy, Nick Benton, Jonas B. Jensen and Pierre-Evariste Dagand.
Requires: