|
Last change
on this file since 107 was
101,
checked in by mulligan, 11 years ago
|
|
Fixing type errors in execute1.
|
|
File size:
434 bytes
|
| Line | |
|---|
| 1 | exception CodeTooLarge |
|---|
| 2 | |
|---|
| 3 | type status |
|---|
| 4 | |
|---|
| 5 | val assembly: ASM.labelled_instruction list -> BitVectors.byte list |
|---|
| 6 | |
|---|
| 7 | val initialize: status |
|---|
| 8 | |
|---|
| 9 | val load: BitVectors.byte list -> status -> status |
|---|
| 10 | |
|---|
| 11 | exception Halt (* to be raised to stop execution *) |
|---|
| 12 | |
|---|
| 13 | (* the callback function is used to observe the execution |
|---|
| 14 | trace; it can raise Hold to stop execution. Otherwise |
|---|
| 15 | the processor never halts. *) |
|---|
| 16 | val execute: (status -> unit) -> status -> status |
|---|
Note: See
TracBrowser
for help on using the repository browser.
