AbstractSyntax
📁 Source: MRiscX/AbstractSyntax/AbstractSyntax.lean
Statistics
Code
Definitions
| Name | Category | Theorems |
|---|---|---|
addCMap 📖 | CompOp | — |
addLabels 📖 | CompOp | — |
addMaps 📖 | CompOp | — |
addMultipleLabels 📖 | CompOp | — |
getInstrAt 📖 | CompOp | — |
getLabel 📖 | CompOp | — |
instructionMap 📖 | CompOp | |
labels 📖 | CompOp | |
setCMap 📖 | CompOp | — |
setLabels 📖 | CompOp | — |
setMaps 📖 | CompOp | — |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
Code 📖 | CompData | — |
DefaultCode 📖 | CompOp | — |
EmptyInstructionMap 📖 | CompOp | — |
EmptyLabels 📖 | CompOp | — |
EmptyMemory 📖 | CompOp | — |
EmptyRegisters 📖 | CompOp | — |
InstructionIndex 📖 | CompOp | |
InstructionMap 📖 | CompOp | — |
LabelMap 📖 | CompOp | — |
Memory 📖 | CompOp | — |
MemoryAddress 📖 | CompOp | |
ProgramCounter 📖 | CompOp | |
Register 📖 | CompOp | |
Registers 📖 | CompOp | — |
instCoeRegisterUInt64 📖 | CompOp | — |
instInhabitedInstructionMap 📖 | CompOp | — |
instInhabitedLabelMap 📖 | CompOp | — |
instReprInstructionMap 📖 | CompOp | — |
instReprLabelMap 📖 | CompOp | — |
instReprMemory 📖 | CompOp | — |
instReprRegisters 📖 | CompOp | — |
instToStringInstructionMap 📖 | CompOp | — |
instToStringLabelMap 📖 | CompOp | — |
---