Changeset 44 for Deliverables/D4.1
- Timestamp:
- Sep 8, 2010, 12:30:28 PM (10 years ago)
- Location:
- Deliverables/D4.1
- Files:
-
- 1 added
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r43 r44 1 1 open Physical;; 2 2 open ASM;; 3 4 exception BOO 3 open Pretty;; 4 5 exception Fetch_exception of string 5 6 6 7 type time = int;; … … 56 57 let pc,v = next pc in 57 58 try pc, byte7_of_byte v 58 with FOO2 -> raise BOOin59 with Byte7_conversion -> raise (Fetch_exception "Cannot convert byte7") in 59 60 let instr = WordMap.find pc pmem in 60 61 let pc = pc ++ 1 in … … 353 354 XRL(`U2(`DIRECT b1, `DATA b2)), pc, 2 354 355 with 355 Not_found -> raise BOO356 Not_found -> raise (Fetch_exception "Key not found") 356 357 ;; 357 358 -
Deliverables/D4.1/physical.ml
r42 r44 1 exception FOO21 exception Byte7_conversion 2 2 3 3 type bit = bool … … 16 16 function 17 17 (false,b2,b3,b4),n -> (b2,b3,b4,n) 18 | _ -> raise FOO218 | _ -> raise Byte7_conversion 19 19 20 20 let int_of_bit b = if b then 0 else 1 -
Deliverables/D4.1/physical.mli
r42 r44 1 exception FOO21 exception Byte7_conversion 2 2 3 3 type bit = bool
Note: See TracChangeset
for help on using the changeset viewer.