diff options
| author | Camil Staps | 2016-07-05 17:25:10 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-05 17:25:10 +0200 |
| commit | ceb0b74bd0b368124679378ebfb2cf316deb2e39 (patch) | |
| tree | 7f5c562952bcf0427d838274177123765fe93cf5 /ABC/Machine/Driver.dcl | |
| parent | ProgramStore as array for efficiency (diff) | |
Added Machine as module level
Diffstat (limited to 'ABC/Machine/Driver.dcl')
| -rw-r--r-- | ABC/Machine/Driver.dcl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ABC/Machine/Driver.dcl b/ABC/Machine/Driver.dcl new file mode 100644 index 0000000..5beebe5 --- /dev/null +++ b/ABC/Machine/Driver.dcl @@ -0,0 +1,7 @@ +definition module ABC.Machine.Driver + +from ABC.Machine.Def import ::State, ::Instruction +from ABC.Machine.GraphStore import ::Desc + +boot :: ([Instruction], [Desc]) -> State +fetch_cycle :: State -> State |