Data.SBV.Examples.BitPrecise.Legato
type Address
data Register
data Flag
type Value
type Bit
type Registers
type Flags
type Memory
data Mostek
type Extract a
type Program
getReg
setReg
getFlag
setFlag
peek
poke
checkOverflow
checkOverflowCorrect
type Instruction
ldx
lda
clc
rorM
rorR
bcc
adc
dex
bne
end
legato
runLegato
type InitVals
initMachine
legatoIsCorrect
type Model
correctnessTheorem
legatoInC