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/tools/stateflow/common/datatype.ml
39 39
  | Junction of junction_name_t * transitions_t
40 40
  | SFFunction of 'prog_t
41 41

  
42
type prog_t = Program of state_name_t * prog_t src_components_t list * (LustreSpec.var_decl * LustreSpec.expr) list
42
type prog_t = Program of state_name_t * prog_t src_components_t list * (Lustre_types.var_decl * Lustre_types.expr) list
43 43

  
44 44
type scope_t = Constant | Input | Local | Output | Parameter
45 45

  

Also available in: Unified diff