Project

General

Profile

« Previous | Next » 

Revision 5500edb8

Added by Pierre-Loïc Garoche over 6 years ago

  • ID 5500edb8f813bab0dbb16ea658a9451bc75add7f
  • Parent 9b04601c

Two fresh branches :)
to manage enum and arrays in the horn backend.

View differences:

src/corelang.mli
137 137
val update_expr_annot: ident -> expr -> LustreSpec.expr_annot -> expr
138 138
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
139 139

  
140
(* Return the multidimension of the constant. Ie array=1, matrix=2, int=0, ... *)
141
val get_array_const_multidim: constant -> int
142

  
140 143
(* Local Variables: *)
141 144
(* compile-command:"make -C .." *)
142 145
(* End: *)

Also available in: Unified diff