Changeset 3244


Ignore:
Timestamp:
Apr 30, 2013, 11:50:27 PM (4 years ago)
Author:
sacerdot
Message:

Final version.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D6.6/report.tex

    r3243 r3244  
    164164 It compiles a C source file to an 8051 Intel HEX using either the acc
    165165 or the acc-trusted compilers. The compilation also produces an instrumented
    166  copy of the source code obtained inserting instractions to keep track of the
     166 copy of the source code obtained inserting instructions to keep track of the
    167167 number of clock cycles spent by the program on the real hardware. The plugin
    168168 implements an invariant generator that computes parametric bounds for the
Note: See TracChangeset for help on using the changeset viewer.