libriscv-0.1.0.0: A versatile, flexible and executable formal model for the RISC-V architecture.

Index

A0LibRISCV
A1LibRISCV
A2LibRISCV
A3LibRISCV
A4LibRISCV
A5LibRISCV
A6LibRISCV
A7LibRISCV
AddLibRISCV.Effects.Expressions.Expr
addLibRISCV.Effects.Expressions.Expr
addImmLibRISCV.Effects.Expressions.Expr
AddressLibRISCV
alignLibRISCV
AndLibRISCV.Effects.Expressions.Expr
andLibRISCV.Effects.Expressions.Expr
andImmLibRISCV.Effects.Expressions.Expr
ArchState 
1 (Type/Class)LibRISCV.Effects.Operations.Default.Interpreter
2 (Data Constructor)LibRISCV.Effects.Operations.Default.Interpreter
AShrLibRISCV.Effects.Expressions.Expr
ashrLibRISCV.Effects.Expressions.Expr
ashrImmLibRISCV.Effects.Expressions.Expr
BasicArgs 
1 (Type/Class)LibRISCV.CmdLine
2 (Data Constructor)LibRISCV.CmdLine
basicArgsLibRISCV.CmdLine
bitSizeLibRISCV.Effects.Operations.Language
buildASTLibRISCV.Semantics
ByteLibRISCV.Effects.Operations.Language
DecodableLibRISCV.Effects.Decoding.Default.Interpreter
DecodeImmBLibRISCV.Effects.Decoding.Language
decodeImmBLibRISCV.Effects.Decoding.Language
DecodeImmILibRISCV.Effects.Decoding.Language
decodeImmILibRISCV.Effects.Decoding.Language
DecodeImmJLibRISCV.Effects.Decoding.Language
decodeImmJLibRISCV.Effects.Decoding.Language
DecodeImmSLibRISCV.Effects.Decoding.Language
decodeImmSLibRISCV.Effects.Decoding.Language
DecodeImmULibRISCV.Effects.Decoding.Language
decodeImmULibRISCV.Effects.Decoding.Language
DecodeRDLibRISCV.Effects.Decoding.Language
decodeRDLibRISCV.Effects.Decoding.Language
DecodeRS1LibRISCV.Effects.Decoding.Language
decodeRS1LibRISCV.Effects.Decoding.Language
DecodeRS2LibRISCV.Effects.Decoding.Language
decodeRS2LibRISCV.Effects.Decoding.Language
DecoderStateLibRISCV.Effects.Decoding.Default.Interpreter
DecodeShamtLibRISCV.Effects.Decoding.Language
decodeShamtLibRISCV.Effects.Decoding.Language
DecodingLibRISCV.Effects.Decoding.Language
defaultDecodingLibRISCV.Effects.Decoding.Default.Interpreter
defaultEval 
1 (Function)LibRISCV.Effects.Expressions.Language
2 (Function)LibRISCV.Effects.Expressions.Default.Interpreter
defaultInstructionsLibRISCV.Effects.Operations.Default.Interpreter
defaultLoggingLibRISCV.Effects.Logging.Default.Interpreter
dumpRegsLibRISCV.Effects.Operations.Default.Machine.Register
dumpStateLibRISCV.Effects.Operations.Default.Interpreter
EbreakLibRISCV.Effects.Operations.Language
ebreakLibRISCV.Effects.Operations.Language
EcallLibRISCV.Effects.Operations.Language
ecallLibRISCV.Effects.Operations.Language
EqLibRISCV.Effects.Expressions.Expr
eqLibRISCV.Effects.Expressions.Expr
eqImmLibRISCV.Effects.Expressions.Expr
EvalLibRISCV.Effects.Expressions.Language
evalLibRISCV.Effects.Expressions.Language
evalELibRISCV.Effects.Expressions.Default.Interpreter
ExceptionLibRISCV.Effects.Operations.Language
exceptionLibRISCV.Effects.Operations.Language
ExprLibRISCV.Effects.Expressions.Expr
ExprEvalLibRISCV.Effects.Expressions.Language
ExtractLibRISCV.Effects.Expressions.Expr
fileLibRISCV.CmdLine
FPLibRISCV
FromImmLibRISCV.Effects.Expressions.Expr
FromIntLibRISCV.Effects.Expressions.Expr
fromWordLibRISCV.Effects.Decoding.Default.Interpreter
getMemLibRISCV.Effects.Operations.Default.Interpreter
getRegLibRISCV.Effects.Operations.Default.Interpreter
GPLibRISCV
HalfLibRISCV.Effects.Operations.Language
HalfStorageLibRISCV.Effects.Operations.Default.Machine.Memory
halfToBytesLibRISCV.Effects.Operations.Default.Machine.Memory
ifExprMLibRISCV.Effects.Expressions.Language
IsFalseLibRISCV.Effects.Expressions.Language
IsTrueLibRISCV.Effects.Expressions.Language
LoadLibRISCV.Effects.Operations.Language
load 
1 (Function)LibRISCV.Effects.Operations.Language
2 (Function)LibRISCV.Semantics
loadByteLibRISCV.Effects.Operations.Default.Machine.Memory
loadElfLibRISCV.Loader
LoadFuncLibRISCV.Loader
loadHalfLibRISCV.Effects.Operations.Default.Machine.Memory
loadWordLibRISCV.Effects.Operations.Default.Machine.Memory
LogFetchedLibRISCV.Effects.Logging.Language
logFetchedLibRISCV.Effects.Logging.Language
LogInstructionFetchLibRISCV.Effects.Logging.Language
LShlLibRISCV.Effects.Expressions.Expr
lshlLibRISCV.Effects.Expressions.Expr
lshlImmLibRISCV.Effects.Expressions.Expr
LShrLibRISCV.Effects.Expressions.Expr
lshrLibRISCV.Effects.Expressions.Expr
lshrImmLibRISCV.Effects.Expressions.Expr
memAddrLibRISCV.CmdLine
MemoryLibRISCV.Effects.Operations.Default.Machine.Memory
memSize 
1 (Function)LibRISCV.CmdLine
2 (Function)LibRISCV.Effects.Operations.Default.Machine.Memory
mkArchStateLibRISCV.Effects.Operations.Default.Interpreter
mkBytesLibRISCV.Effects.Operations.Default.Machine.Memory
mkMemoryLibRISCV.Effects.Operations.Default.Machine.Memory
mkRegFileLibRISCV.Effects.Operations.Default.Machine.Register
mkWordLibRISCV.Effects.Operations.Default.Machine.Memory
MulLibRISCV.Effects.Expressions.Expr
mulLibRISCV.Effects.Expressions.Expr
mulImmLibRISCV.Effects.Expressions.Expr
noLoggingLibRISCV.Effects.Logging.Default.Interpreter
OperationsLibRISCV.Effects.Operations.Language
OrLibRISCV.Effects.Expressions.Expr
orLibRISCV.Effects.Expressions.Expr
orImmLibRISCV.Effects.Expressions.Expr
pcLibRISCV.Effects.Operations.Default.Machine.Register
putRegsLibRISCV.CmdLine
RALibRISCV
readElfLibRISCV.Loader
ReadPCLibRISCV.Effects.Operations.Language
readPC 
1 (Function)LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)LibRISCV.Effects.Operations.Language
ReadRegisterLibRISCV.Effects.Operations.Language
readRegister 
1 (Function)LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)LibRISCV.Effects.Operations.Language
3 (Function)LibRISCV.Semantics
RegIdxLibRISCV
RegisterFile 
1 (Type/Class)LibRISCV.Effects.Operations.Default.Machine.Register
2 (Data Constructor)LibRISCV.Effects.Operations.Default.Machine.Register
regsLibRISCV.Effects.Operations.Default.Machine.Register
regShamtLibRISCV.Effects.Expressions.Expr
S1LibRISCV
S10LibRISCV
S11LibRISCV
S2LibRISCV
S3LibRISCV
S4LibRISCV
S5LibRISCV
S6LibRISCV
S7LibRISCV
S8LibRISCV
S9LibRISCV
SDivLibRISCV.Effects.Expressions.Expr
sdivLibRISCV.Effects.Expressions.Expr
sdivImmLibRISCV.Effects.Expressions.Expr
SetInstrLibRISCV.Effects.Decoding.Language
setInstrLibRISCV.Effects.Decoding.Language
SExtLibRISCV.Effects.Expressions.Expr
sextImmLibRISCV.Effects.Expressions.Expr
SgeLibRISCV.Effects.Expressions.Expr
sgeLibRISCV.Effects.Expressions.Expr
sgeImmLibRISCV.Effects.Expressions.Expr
SizeLibRISCV.Effects.Operations.Language
SltLibRISCV.Effects.Expressions.Expr
sltLibRISCV.Effects.Expressions.Expr
sltImmLibRISCV.Effects.Expressions.Expr
SPLibRISCV
SRemLibRISCV.Effects.Expressions.Expr
sremLibRISCV.Effects.Expressions.Expr
sremImmLibRISCV.Effects.Expressions.Expr
startAddrLibRISCV.Loader
StoreLibRISCV.Effects.Operations.Language
store 
1 (Function)LibRISCV.Effects.Operations.Language
2 (Function)LibRISCV.Semantics
storeByteLibRISCV.Effects.Operations.Default.Machine.Memory
storeByteStringLibRISCV.Effects.Operations.Default.Machine.Memory
storeHalfLibRISCV.Effects.Operations.Default.Machine.Memory
storeWordLibRISCV.Effects.Operations.Default.Machine.Memory
SubLibRISCV.Effects.Expressions.Expr
subLibRISCV.Effects.Expressions.Expr
subImmLibRISCV.Effects.Expressions.Expr
T0LibRISCV
T1LibRISCV
T2LibRISCV
T3LibRISCV
T4LibRISCV
T5LibRISCV
T6LibRISCV
toHalfLibRISCV.Effects.Operations.Default.Machine.Memory
toWord 
1 (Function)LibRISCV.Effects.Decoding.Default.Interpreter
2 (Function)LibRISCV.Effects.Operations.Default.Machine.Memory
TPLibRISCV
traceLibRISCV.CmdLine
UDivLibRISCV.Effects.Expressions.Expr
udivLibRISCV.Effects.Expressions.Expr
udivImmLibRISCV.Effects.Expressions.Expr
UgeLibRISCV.Effects.Expressions.Expr
ugeLibRISCV.Effects.Expressions.Expr
ugeImmLibRISCV.Effects.Expressions.Expr
UltLibRISCV.Effects.Expressions.Expr
ultLibRISCV.Effects.Expressions.Expr
ultImmLibRISCV.Effects.Expressions.Expr
unlessExprMLibRISCV.Effects.Expressions.Language
URemLibRISCV.Effects.Expressions.Expr
uremLibRISCV.Effects.Expressions.Expr
uremImmLibRISCV.Effects.Expressions.Expr
whenExprMLibRISCV.Effects.Expressions.Language
WithInstrTypeLibRISCV.Effects.Decoding.Language
withInstrTypeLibRISCV.Effects.Decoding.Language
WordLibRISCV.Effects.Operations.Language
WordStorageLibRISCV.Effects.Operations.Default.Machine.Memory
wordToBytesLibRISCV.Effects.Operations.Default.Machine.Memory
WritePCLibRISCV.Effects.Operations.Language
writePC 
1 (Function)LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)LibRISCV.Effects.Operations.Language
3 (Function)LibRISCV.Semantics
WriteRegisterLibRISCV.Effects.Operations.Language
writeRegister 
1 (Function)LibRISCV.Effects.Operations.Default.Machine.Register
2 (Function)LibRISCV.Effects.Operations.Language
3 (Function)LibRISCV.Semantics
XorLibRISCV.Effects.Expressions.Expr
xorLibRISCV.Effects.Expressions.Expr
xorImmLibRISCV.Effects.Expressions.Expr
ZeroLibRISCV
ZExtLibRISCV.Effects.Expressions.Expr
zextImmLibRISCV.Effects.Expressions.Expr