Project

General

Profile

« Previous | Next » 

Revision 8446bf03

Added by Pierre-Loïc Garoche almost 4 years ago

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

View differences:

src/backends/EMF/EMF_library_calls.ml
3 3
    moment, modular compilation of multiple lustre sources as one output JSON is not
4 4
    considered. *)
5 5

  
6
open LustreSpec
6
open Lustre_types
7 7
open Machine_code
8 8
open Format
9 9
open EMF_common

Also available in: Unified diff