src/urm.mli


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

(*
 * UPEM / L3 / Functional programming / Project: URM
 * Pacien TRAN-GIRARD, Adam NAILI
 *)

open Common

(* Runs an URM.
 * Returns all registers when the program halts. *)
val urm_run : urm -> reg list

(* Runs an URM in trace mode.
 * Returns all registers when the program halts. *)
val urm_run_trace : urm -> reg list

(* Makes an URM. *)
val urm_mk : urmcmd list -> reg list -> urm