source: Deliverables/D4.1/ASMInterpret.mli @ 102

Last change on this file since 102 was 101, checked in by mulligan, 10 years ago

Fixing type errors in execute1.

File size: 434 bytes
RevLine 
[100]1exception CodeTooLarge
[99]2
[100]3type status
[99]4
[100]5val assembly: ASM.labelled_instruction list -> BitVectors.byte list
[99]6
[100]7val initialize: status
[99]8
[100]9val load: BitVectors.byte list -> status -> status
10
[101]11exception Halt  (* to be raised to stop execution *)
[100]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. *)
16val execute: (status -> unit) -> status -> status
Note: See TracBrowser for help on using the repository browser.