Ignore:
Timestamp:
Sep 30, 2010, 6:46:44 PM (9 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.mli

    r140 r147  
    3333val hex_string_of_vect: 'a vect -> string
    3434
    35 
    3635val (-&-): 'a vect -> 'a vect -> 'a vect
    3736val (-|-): 'a vect -> 'a vect -> 'a vect
     
    4948val half_add: 'a vect -> 'a vect -> bit * 'a vect
    5049val full_add: 'a vect -> 'a vect -> bit -> bit * 'a vect
     50val sign_extension: byte -> word
    5151
    5252val rotate_left : 'a vect -> 'a vect
Note: See TracChangeset for help on using the changeset viewer.