- Apr 30, 2013, 11:50:27 PM (4 years ago)
- 1 edited
r3243 r3244 164 164 It compiles a C source file to an 8051 Intel HEX using either the acc 165 165 or the acc-trusted compilers. The compilation also produces an instrumented 166 copy of the source code obtained inserting instr actions to keep track of the 166 copy of the source code obtained inserting instrctions to keep track of the 167 167 number of clock cycles spent by the program on the real hardware. The plugin 168 168 implements an invariant generator that computes parametric bounds for the
Note: See TracChangeset for help on using the changeset viewer.