Project

General

Profile

« Previous | Next » 

Revision 05f85b44

Added by Guillaume DAVY almost 6 years ago

Ada: Start cleaning Ada to prepare for why beckend

View differences:

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