Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/corelang.mli
12 12

  
13 13
open Lustre_types
14 14

  
15
module VDeclModule: sig
16
  type t
17
  val compare: t -> t -> int
18
end with type t = Lustre_types.var_decl
19

  
15 20
module VSet: sig
16 21
  include Set.S
17 22
  val pp: Format.formatter -> t -> unit 
......
45 50
val mktop: top_decl_desc -> top_decl
46 51

  
47 52
(* constructor for machine types *)
48
val mkinstr: (* ?lustre_expr:expr ->  *)?lustre_eq: eq -> Machine_code_types.value_t Spec_types.formula_t -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t
53
val mkinstr: (* ?lustre_expr:expr ->  *)?lustre_eq: eq -> ?instr_spec: Machine_code_types.value_t Spec_types.formula_t list -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t
49 54
val get_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc
50 55
val update_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t
51 56
  

Also available in: Unified diff