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

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

Fixing type errors in execute1.

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