Ignore:
Timestamp:
Sep 30, 2010, 6:46:44 PM (10 years ago)
Author:
mulligan
Message:

Changes made today: we now have an emulator that is able to emulate two
small C programs.

File:
1 edited

Legend:

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

    r142 r147  
    6767let full_add l r c = List.fold_right2 (fun b1 b2 (c,r) -> b1 & b2 || c & (b1 || b2),xor (xor b1 b2) c::r) l r (c,[])
    6868let half_add l r = full_add l r false
     69
     70let sign_extension =
     71 function
     72    [] -> assert false
     73  | (he::_) as l ->
     74      [he;he;he;he;he;he;he;he] @ l
     75;;
     76 
    6977
    7078let rec split_last =
Note: See TracChangeset for help on using the changeset viewer.