CoqToLeanAsm: x86 Macro Assembler in Lean 4

3.2. Basic Examples

Here are simple examples encoding x86 instructions:

[144#8]#eval encode 0 Instr.NOP -- [0x90] [195#8]#eval encode 0 (Instr.RETOP 0) -- [0xC3] [244#8]#eval encode 0 Instr.HLT -- [0xF4]