Changeset 2620 for extracted/aSM.ml


Ignore:
Timestamp:
Feb 6, 2013, 5:03:20 PM (7 years ago)
Author:
campbell
Message:

Sufficient hacking to run the extracted Clight semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSM.ml

    r2601 r2620  
    53795379| Mov (x, x0) -> Bool.False
    53805380
    5381 let subaddressing_modeel__o__mk_subaddressing_mode = assert false
     5381let subaddressing_modeel__o__mk_subaddressing_mode x = assert false
Note: See TracChangeset for help on using the changeset viewer.