-
andrew_miranti authored
Decoding to semantics rules now works. Now all we need to do is sort out the memory model and actually integrate with the x86 semantics
andrew_miranti authoredDecoding to semantics rules now works. Now all we need to do is sort out the memory model and actually integrate with the x86 semantics
extractor-true.k 112 B
module INUM-EXTRACTOR-CONFIG
imports BOOL
configuration <inumExtractor> true </inumExtractor>
endmodule