Ignore:
Timestamp:
Sep 21, 2010, 1:22:37 PM (9 years ago)
Author:
mulligan
Message:

fixed typing errors in ASMInterpret up to execute1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/BitVectors.ml

    r92 r95  
    1515  | _ -> assert false
    1616let mk_byte n1 n2 = n1 @ n2
     17let mk_byte_from_bits ((b1,b2,b3,b4),(b5,b6,b7,b8)) = ([b1;b2;b3;b4;b5;b6;b7;b8] : [`Eight] vect)
    1718let from_byte =
    1819 function
     
    5354let xor b1 b2 = b1 <> b2
    5455let (-^-) l1 l2 = List.map2 xor l1 l2
    55 let not l1 = List.map (not) l1
     56let complement l1 = List.map (not) l1
    5657
    5758let iter_bits f v = String.concat "" (List.map f v)
Note: See TracChangeset for help on using the changeset viewer.