aboutsummaryrefslogtreecommitdiff
path: root/urm.mli
blob: 1949d28173e6cf7fb0180b931887dff2ef75c4d8 (plain)
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