Revision 01c7d5e1 src/backends/C/c_backend_spec.ml
| src/backends/C/c_backend_spec.ml | ||
|---|---|---|
| 2 | 2 |
open LustreSpec |
| 3 | 3 |
open Machine_code |
| 4 | 4 |
open C_backend_common |
| 5 |
open Utils |
|
| 5 | 6 |
|
| 6 | 7 |
(**************************************************************************) |
| 7 | 8 |
(* Printing spec for c *) |
| 8 | 9 |
|
| 9 | 10 |
(**************************************************************************) |
| 11 |
(* OLD STUFF ??? |
|
| 12 |
|
|
| 10 | 13 |
|
| 11 | 14 |
let pp_acsl_type var fmt t = |
| 12 | 15 |
let rec aux t pp_suffix = |
| ... | ... | |
| 121 | 124 |
pp_acsl_spec m.mstep.step_outputs fmt spec |
| 122 | 125 |
) |
| 123 | 126 |
|
| 127 |
*) |
|
| 128 |
|
|
| 124 | 129 |
(**************************************************************************) |
| 125 | 130 |
(* MAKEFILE *) |
| 126 | 131 |
(**************************************************************************) |
Also available in: Unified diff