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/semantics/cPS_transformer.ml
78 78
  val eval_act : (module ThetaType with type t = t) -> act_t -> t
79 79
  val eval_cond : cond_t -> t -> t -> t
80 80
  (* val mktransformer : t -> unit *)
81
  val mkprincipal : t -> LustreSpec.program
82
  val mkcomponent : 'c call_t -> 'c -> t -> LustreSpec.program
81
  val mkprincipal : t -> Lustre_types.program
82
  val mkcomponent : 'c call_t -> 'c -> t -> Lustre_types.program
83 83
end
84 84

  
85 85
module type ComparableTransformerType =

Also available in: Unified diff