Revision 05f85b44
Added by Guillaume DAVY almost 6 years ago
src/backends/Ada/ada_backend.ml | ||
---|---|---|
112 | 112 |
| [] -> None |
113 | 113 |
| _ -> Some machine_spec |
114 | 114 |
in |
115 |
(opt_machine_spec, guarantees, 4)
|
|
115 |
(opt_machine_spec, guarantees) |
|
116 | 116 |
end |
117 |
| _ -> None, [], 0
|
|
117 |
| _ -> None, [] |
|
118 | 118 |
|
119 | 119 |
(** Main function of the Ada backend. It calls all the subfunction creating all |
120 | 120 |
the file and fill them with Ada code representing the machines list given. |
Also available in: Unified diff
Ada: Start cleaning Ada to prepare for why beckend