libriscv-0.1.0.0: A versatile, flexible and executable formal model for the RISC-V architecture.
Quick Jump
Contents
Index
Index
A0
LibRISCV
A1
LibRISCV
A2
LibRISCV
A3
LibRISCV
A4
LibRISCV
A5
LibRISCV
A6
LibRISCV
A7
LibRISCV
Add
LibRISCV.Effects.Expressions.Expr
add
LibRISCV.Effects.Expressions.Expr
addImm
LibRISCV.Effects.Expressions.Expr
Address
LibRISCV
align
LibRISCV
And
LibRISCV.Effects.Expressions.Expr
and
LibRISCV.Effects.Expressions.Expr
andImm
LibRISCV.Effects.Expressions.Expr
ArchState
1 (Type/Class)
LibRISCV.Effects.Operations.Default.Interpreter
2 (Data Constructor)
LibRISCV.Effects.Operations.Default.Interpreter
AShr
LibRISCV.Effects.Expressions.Expr
ashr
LibRISCV.Effects.Expressions.Expr
ashrImm
LibRISCV.Effects.Expressions.Expr
BasicArgs
1 (Type/Class)
LibRISCV.CmdLine
2 (Data Constructor)
LibRISCV.CmdLine
basicArgs
LibRISCV.CmdLine
bitSize
LibRISCV.Effects.Operations.Language
buildAST
LibRISCV.Semantics
Byte
LibRISCV.Effects.Operations.Language
Decodable
LibRISCV.Effects.Decoding.Default.Interpreter
DecodeImmB
LibRISCV.Effects.Decoding.Language
decodeImmB
LibRISCV.Effects.Decoding.Language
DecodeImmI
LibRISCV.Effects.Decoding.Language
decodeImmI
LibRISCV.Effects.Decoding.Language
DecodeImmJ
LibRISCV.Effects.Decoding.Language
decodeImmJ
LibRISCV.Effects.Decoding.Language
DecodeImmS
LibRISCV.Effects.Decoding.Language
decodeImmS
LibRISCV.Effects.Decoding.Language
DecodeImmU
LibRISCV.Effects.Decoding.Language
decodeImmU
LibRISCV.Effects.Decoding.Language
DecodeRD
LibRISCV.Effects.Decoding.Language
decodeRD
LibRISCV.Effects.Decoding.Language
DecodeRS1
LibRISCV.Effects.Decoding.Language
decodeRS1
LibRISCV.Effects.Decoding.Language
DecodeRS2
LibRISCV.Effects.Decoding.Language
decodeRS2
LibRISCV.Effects.Decoding.Language
DecoderState
LibRISCV.Effects.Decoding.Default.Interpreter
DecodeShamt
LibRISCV.Effects.Decoding.Language
decodeShamt
LibRISCV.Effects.Decoding.Language
Decoding
LibRISCV.Effects.Decoding.Language
defaultDecoding
LibRISCV.Effects.Decoding.Default.Interpreter
defaultEval
1 (Function)
LibRISCV.Effects.Expressions.Language
2 (Function)
LibRISCV.Effects.Expressions.Default.Interpreter
defaultInstructions
LibRISCV.Effects.Operations.Default.Interpreter
defaultLogging
LibRISCV.Effects.Logging.Default.Interpreter
dumpRegs
LibRISCV.Effects.Operations.Default.Machine.Register
dumpState
LibRISCV.Effects.Operations.Default.Interpreter
Ebreak
LibRISCV.Effects.Operations.Language
ebreak
LibRISCV.Effects.Operations.Language
Ecall
LibRISCV.Effects.Operations.Language
ecall
LibRISCV.Effects.Operations.Language
Eq
LibRISCV.Effects.Expressions.Expr
eq
LibRISCV.Effects.Expressions.Expr
eqImm
LibRISCV.Effects.Expressions.Expr
Eval
LibRISCV.Effects.Expressions.Language
eval
LibRISCV.Effects.Expressions.Language
evalE
LibRISCV.Effects.Expressions.Default.Interpreter
Exception
LibRISCV.Effects.Operations.Language
exception
LibRISCV.Effects.Operations.Language
Expr
LibRISCV.Effects.Expressions.Expr
ExprEval
LibRISCV.Effects.Expressions.Language
Extract
LibRISCV.Effects.Expressions.Expr
file
LibRISCV.CmdLine
FP
LibRISCV
FromImm
LibRISCV.Effects.Expressions.Expr
FromInt
LibRISCV.Effects.Expressions.Expr
fromWord
LibRISCV.Effects.Decoding.Default.Interpreter
getMem
LibRISCV.Effects.Operations.Default.Interpreter
getReg
LibRISCV.Effects.Operations.Default.Interpreter
GP
LibRISCV
Half
LibRISCV.Effects.Operations.Language
HalfStorage
LibRISCV.Effects.Operations.Default.Machine.Memory
halfToBytes
LibRISCV.Effects.Operations.Default.Machine.Memory
ifExprM
LibRISCV.Effects.Expressions.Language
IsFalse
LibRISCV.Effects.Expressions.Language
IsTrue
LibRISCV.Effects.Expressions.Language
Load
LibRISCV.Effects.Operations.Language
load
1 (Function)
LibRISCV.Effects.Operations.Language
2 (Function)
LibRISCV.Semantics
loadByte
LibRISCV.Effects.Operations.Default.Machine.Memory
loadElf
LibRISCV.Loader
LoadFunc
LibRISCV.Loader
loadHalf
LibRISCV.Effects.Operations.Default.Machine.Memory
loadWord
LibRISCV.Effects.Operations.Default.Machine.Memory
LogFetched
LibRISCV.Effects.Logging.Language
logFetched
LibRISCV.Effects.Logging.Language
LogInstructionFetch
LibRISCV.Effects.Logging.Language
LShl
LibRISCV.Effects.Expressions.Expr
lshl
LibRISCV.Effects.Expressions.Expr
lshlImm
LibRISCV.Effects.Expressions.Expr
LShr
LibRISCV.Effects.Expressions.Expr
lshr
LibRISCV.Effects.Expressions.Expr
lshrImm
LibRISCV.Effects.Expressions.Expr
memAddr
LibRISCV.CmdLine
Memory
LibRISCV.Effects.Operations.Default.Machine.Memory
memSize
1 (Function)
LibRISCV.CmdLine
2 (Function)
LibRISCV.Effects.Operations.Default.Machine.Memory
mkArchState
LibRISCV.Effects.Operations.Default.Interpreter
mkBytes
LibRISCV.Effects.Operations.Default.Machine.Memory
mkMemory
LibRISCV.Effects.Operations.Default.Machine.Memory
mkRegFile
LibRISCV.Effects.Operations.Default.Machine.Register
mkWord
LibRISCV.Effects.Operations.Default.Machine.Memory
Mul
LibRISCV.Effects.Expressions.Expr
mul
LibRISCV.Effects.Expressions.Expr
mulImm
LibRISCV.Effects.Expressions.Expr
noLogging
LibRISCV.Effects.Logging.Default.Interpreter
Operations
LibRISCV.Effects.Operations.Language
Or
LibRISCV.Effects.Expressions.Expr
or
LibRISCV.Effects.Expressions.Expr
orImm
LibRISCV.Effects.Expressions.Expr
pc
LibRISCV.Effects.Operations.Default.Machine.Register
putRegs
LibRISCV.CmdLine
RA
LibRISCV
readElf
LibRISCV.Loader
ReadPC
LibRISCV.Effects.Operations.Language
readPC
1 (Function)
LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)
LibRISCV.Effects.Operations.Language
ReadRegister
LibRISCV.Effects.Operations.Language
readRegister
1 (Function)
LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)
LibRISCV.Effects.Operations.Language
3 (Function)
LibRISCV.Semantics
RegIdx
LibRISCV
RegisterFile
1 (Type/Class)
LibRISCV.Effects.Operations.Default.Machine.Register
2 (Data Constructor)
LibRISCV.Effects.Operations.Default.Machine.Register
regs
LibRISCV.Effects.Operations.Default.Machine.Register
regShamt
LibRISCV.Effects.Expressions.Expr
S1
LibRISCV
S10
LibRISCV
S11
LibRISCV
S2
LibRISCV
S3
LibRISCV
S4
LibRISCV
S5
LibRISCV
S6
LibRISCV
S7
LibRISCV
S8
LibRISCV
S9
LibRISCV
SDiv
LibRISCV.Effects.Expressions.Expr
sdiv
LibRISCV.Effects.Expressions.Expr
sdivImm
LibRISCV.Effects.Expressions.Expr
SetInstr
LibRISCV.Effects.Decoding.Language
setInstr
LibRISCV.Effects.Decoding.Language
SExt
LibRISCV.Effects.Expressions.Expr
sextImm
LibRISCV.Effects.Expressions.Expr
Sge
LibRISCV.Effects.Expressions.Expr
sge
LibRISCV.Effects.Expressions.Expr
sgeImm
LibRISCV.Effects.Expressions.Expr
Size
LibRISCV.Effects.Operations.Language
Slt
LibRISCV.Effects.Expressions.Expr
slt
LibRISCV.Effects.Expressions.Expr
sltImm
LibRISCV.Effects.Expressions.Expr
SP
LibRISCV
SRem
LibRISCV.Effects.Expressions.Expr
srem
LibRISCV.Effects.Expressions.Expr
sremImm
LibRISCV.Effects.Expressions.Expr
startAddr
LibRISCV.Loader
Store
LibRISCV.Effects.Operations.Language
store
1 (Function)
LibRISCV.Effects.Operations.Language
2 (Function)
LibRISCV.Semantics
storeByte
LibRISCV.Effects.Operations.Default.Machine.Memory
storeByteString
LibRISCV.Effects.Operations.Default.Machine.Memory
storeHalf
LibRISCV.Effects.Operations.Default.Machine.Memory
storeWord
LibRISCV.Effects.Operations.Default.Machine.Memory
Sub
LibRISCV.Effects.Expressions.Expr
sub
LibRISCV.Effects.Expressions.Expr
subImm
LibRISCV.Effects.Expressions.Expr
T0
LibRISCV
T1
LibRISCV
T2
LibRISCV
T3
LibRISCV
T4
LibRISCV
T5
LibRISCV
T6
LibRISCV
toHalf
LibRISCV.Effects.Operations.Default.Machine.Memory
toWord
1 (Function)
LibRISCV.Effects.Decoding.Default.Interpreter
2 (Function)
LibRISCV.Effects.Operations.Default.Machine.Memory
TP
LibRISCV
trace
LibRISCV.CmdLine
UDiv
LibRISCV.Effects.Expressions.Expr
udiv
LibRISCV.Effects.Expressions.Expr
udivImm
LibRISCV.Effects.Expressions.Expr
Uge
LibRISCV.Effects.Expressions.Expr
uge
LibRISCV.Effects.Expressions.Expr
ugeImm
LibRISCV.Effects.Expressions.Expr
Ult
LibRISCV.Effects.Expressions.Expr
ult
LibRISCV.Effects.Expressions.Expr
ultImm
LibRISCV.Effects.Expressions.Expr
unlessExprM
LibRISCV.Effects.Expressions.Language
URem
LibRISCV.Effects.Expressions.Expr
urem
LibRISCV.Effects.Expressions.Expr
uremImm
LibRISCV.Effects.Expressions.Expr
whenExprM
LibRISCV.Effects.Expressions.Language
WithInstrType
LibRISCV.Effects.Decoding.Language
withInstrType
LibRISCV.Effects.Decoding.Language
Word
LibRISCV.Effects.Operations.Language
WordStorage
LibRISCV.Effects.Operations.Default.Machine.Memory
wordToBytes
LibRISCV.Effects.Operations.Default.Machine.Memory
WritePC
LibRISCV.Effects.Operations.Language
writePC
1 (Function)
LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)
LibRISCV.Effects.Operations.Language
3 (Function)
LibRISCV.Semantics
WriteRegister
LibRISCV.Effects.Operations.Language
writeRegister
1 (Function)
LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)
LibRISCV.Effects.Operations.Language
3 (Function)
LibRISCV.Semantics
Xor
LibRISCV.Effects.Expressions.Expr
xor
LibRISCV.Effects.Expressions.Expr
xorImm
LibRISCV.Effects.Expressions.Expr
Zero
LibRISCV
ZExt
LibRISCV.Effects.Expressions.Expr
zextImm
LibRISCV.Effects.Expressions.Expr