Project

General

Profile

« Previous | Next » 

Revision d0f26f04

Added by LĂ©lio Brun 7 months ago

corrections for stateless nodes

View differences:

src/machine_code_common.mli
17 17
  Lustre_types.var_decl ->
18 18
  Machine_code_types.value_t
19 19

  
20
val get_stateless_status_node : Lustre_types.node_desc -> bool * bool
21

  
20 22
val get_stateless_status : Machine_code_types.machine_t -> bool * bool
21 23

  
22 24
val get_stateless_status_top_decl : Lustre_types.top_decl -> bool * bool

Also available in: Unified diff