Ignore:
Timestamp:
Sep 20, 2010, 1:45:10 PM (10 years ago)
Author:
mulligan
Message:

Ported physical.ml to be compatible with new bitvector code, started
porting ASMInterpret.

File:
1 edited

Legend:

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

    r89 r90  
    2525
    2626val int_of_vect: 'a vect -> int
    27 val vect_of_int: int -> [`Four | `Seven | `Eight | `Eleven | `Sixteen ] -> [`Four | `Seven | `Eight | `Eleven | `Sixteen ] vect
     27val vect_of_int: int -> [< `Four | `Seven | `Eight | `Eleven | `Sixteen ] -> [`Four | `Seven | `Eight | `Eleven | `Sixteen ] vect
    2828
    2929val (-&-): 'a vect -> 'a vect -> 'a vect
     
    3838val string_of_vect: 'a vect -> string
    3939
     40val zero: [< `Four | `Seven | `Eight | `Eleven | `Sixteen ] -> [< `Four | `Seven | `Eight | `Eleven | `Sixteen ] vect
     41
    4042val half_add: 'a vect -> 'a vect -> bit * 'a vect
    4143val full_add: 'a vect -> 'a vect -> bit -> bit * 'a vect
Note: See TracChangeset for help on using the changeset viewer.