Ignore:
Timestamp:
Sep 29, 2010, 7:03:08 PM (9 years ago)
Author:
sacerdot
Message:

The sp can also point to upper internal ram. Fixed everywhere.

File:
1 edited

Legend:

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

    r128 r144  
    3737    false -> 0
    3838  | true -> 1
    39 
    40 let byte7_of_byte b =
    41   let n1,n2 = from_byte b in
    42     match from_nibble n1 with
    43       (false,b1,b2,b3) -> mk_byte7 b1 b2 b3 n2
    44     | _ -> raise Byte7_conversion
    4539
    4640let add8_with_c (b1 : [`Eight] vect) (b2 : [`Eight] vect) (c : bit) =
Note: See TracChangeset for help on using the changeset viewer.