Ignore:
Timestamp:
Oct 25, 2011, 4:11:11 PM (9 years ago)
Author:
ayache
Message:

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

Location:
Deliverables/D2.2/8051/src/ASM
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/ASM.mli

    r619 r1462  
    123123    { code        : BitVectors.byte list ;
    124124      cost_labels : string BitVectors.WordMap.t ;
     125      labels      : BitVectors.word StringTools.Map.t ;
    125126      exit_addr   : BitVectors.word ;
    126127      has_main    : bool }
  • Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml

    r818 r1462  
    10461046      | #instruction as i -> assembly1 i) p.ASM.pcode) in
    10471047 { ASM.code = code ; ASM.cost_labels = costs ;
     1048   ASM.labels = StringTools.Map.empty ;
    10481049   ASM.exit_addr = exit_addr ; ASM.has_main = p.ASM.phas_main }
    10491050;;
Note: See TracChangeset for help on using the changeset viewer.