SSTG.Core.Execution.Engine

Symbolic STG Execution Engine

Documentation

loadState :: Program -> LoadResult

Guess the main function as "main", which is consistent with a few experimental results.

loadStateEntry :: String -> Program -> LoadResult

Load from a specified entry point.

data LoadResult

Load Result

Constructors

LoadOkay State

LoadGuess State [Binds]

LoadError String

Instances

Eq LoadResult

Methods

(==) :: LoadResult -> LoadResult -> Bool

(/=) :: LoadResult -> LoadResult -> Bool

Read LoadResult

Methods

readsPrec :: Int -> ReadS LoadResult

readList :: ReadS [LoadResult]

readPrec :: ReadPrec LoadResult

readListPrec :: ReadPrec [LoadResult]

Show LoadResult

Methods

showsPrec :: Int -> LoadResult -> ShowS

show :: LoadResult -> String

showList :: [LoadResult] -> ShowS

data RunFlags

Run flags.

Constructors

RunFlags

Fields

• flag_step_count :: Int
• flag_step_type :: StepType
• flag_dump_dir :: Maybe FilePath

Instances

Eq RunFlags

Methods

(==) :: RunFlags -> RunFlags -> Bool

(/=) :: RunFlags -> RunFlags -> Bool

Read RunFlags

Methods

readsPrec :: Int -> ReadS RunFlags

readList :: ReadS [RunFlags]

readPrec :: ReadPrec RunFlags

readListPrec :: ReadPrec [RunFlags]

Show RunFlags

Methods

showsPrec :: Int -> RunFlags -> ShowS

show :: RunFlags -> String

showList :: [RunFlags] -> ShowS

data StepType

Step execution type.

Constructors

BFS

DFS

BFSLogged

DFSLogged

Instances

Eq StepType

Methods

(==) :: StepType -> StepType -> Bool

(/=) :: StepType -> StepType -> Bool

Read StepType

Methods

readsPrec :: Int -> ReadS StepType

readList :: ReadS [StepType]

readPrec :: ReadPrec StepType

readListPrec :: ReadPrec [StepType]

Show StepType

Methods

showsPrec :: Int -> StepType -> ShowS

show :: StepType -> String

showList :: [StepType] -> ShowS

execute :: RunFlags -> State -> [([LiveState], [DeadState])]

Perform execution on a State given the run flags.

execute1 :: Int -> State -> ([LiveState], [DeadState])

Simple BFS based execution on a state.