2 ms·
This looks like it could help with formal verification of instruction set semantics (something that hasn't been done for x86). That would be highly interesting
by tempodox 1y ago
This looks like it could help with formal verification of instruction set semantics (something that hasn't been done for x86). That would be highly interesting.