lustrec/src/backends/Ada/ada_backend_wrapper.ml @ bdc471f3
1 |
(********************************************************************)
|
---|---|
2 |
(* *)
|
3 |
(* The LustreC compiler toolset / The LustreC Development Team *)
|
4 |
(* Copyright 2012 - -- ONERA - CNRS - INPT - ISAE-SUPAERO *)
|
5 |
(* *)
|
6 |
(* LustreC is free software, distributed WITHOUT ANY WARRANTY *)
|
7 |
(* under the terms of the GNU Lesser General Public License *)
|
8 |
(* version 2.1. *)
|
9 |
(* *)
|
10 |
(********************************************************************)
|
11 |
|
12 |
module Main = |
13 |
struct
|
14 |
end
|
- « Previous
- 1
- …
- 4
- 5
- 6
- Next »