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

LibRISCV.Effects.Operations.Default.Interpreter

Description

Implements the default (concrete) interpreter for the Operations effect.

Synopsis

Documentation

data ArchState Source #

Representation of the concrete architectural state of the interpreter.

Constructors

ArchState 

Fields

mkArchState :: Address -> Word32 -> IO ArchState Source #

Create a new ArchState based on a memory start address and a memory size.

dumpState :: ArchState -> IO () Source #

Write a textual representation of the ArchState to standard output.

defaultInstructions :: MonadIO m => ArchState -> Operations BV ~> m Source #

Implements concrete interpretation of the Operations effect based on a BV value representation.