Model
The model is expressed in
Lem
code, a lightweight language for executable mathematical definitions.
MachineDefUtils.lem
MachineDefFreshIds.lem
MachineDefValue.lem
MachineDefTypes.lem
MachineDefInstructionSemantics.lem
MachineDefStorageSubsystem.lem
MachineDefThreadSubsystem.lem
MachineDefSystem.lem