Project

General

Profile

Revision b38ffff3 src/machine_code.ml

View differences:

src/machine_code.ml
1

  
2
(* ----------------------------------------------------------------------------
3
 * SchedMCore - A MultiCore Scheduling Framework
4
 * Copyright (C) 2009-2013, ONERA, Toulouse, FRANCE - LIFL, Lille, FRANCE
5
 * Copyright (C) 2012-2013, INPT, Toulouse, FRANCE
6
 *
7
 * This file is part of Prelude
8
 *
9
 * Prelude is free software; you can redistribute it and/or
10
 * modify it under the terms of the GNU Lesser General Public License
11
 * as published by the Free Software Foundation ; either version 2 of
12
 * the License, or (at your option) any later version.
13
 *
14
 * Prelude is distributed in the hope that it will be useful, but
15
 * WITHOUT ANY WARRANTY ; without even the implied warranty of
16
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17
 * Lesser General Public License for more details.
18
 *
19
 * You should have received a copy of the GNU Lesser General Public
20
 * License along with this program ; if not, write to the Free Software
21
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
22
 * USA
23
 *---------------------------------------------------------------------------- *)
24

  
25
(* This module is used for the lustre to C compiler *)
1
(********************************************************************)
2
(*                                                                  *)
3
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
4
(*  Copyright 2012 -    --   ONERA - CNRS - INPT                    *)
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
(********************************************************************)
26 11

  
27 12
open LustreSpec
28 13
open Corelang

Also available in: Unified diff