| 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 |