Project

General

Profile

« Previous | Next » 

Revision c518d082

Added by Xavier Thirioux almost 8 years ago

- added generation of clock information in interface (.lusi) files
- added clock checking between interface and implementation files

View differences:

src/printers.ml
50 50

  
51 51
and pp_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_ty id.var_type
52 52

  
53
and pp_node_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_node_ty id.var_type
53
and pp_node_var fmt id = fprintf fmt "%s%s: %a%a" (if id.var_dec_const then "const " else "") id.var_id Types.print_node_ty id.var_type Clocks.print_ck_suffix id.var_clock
54 54

  
55 55
and pp_expr fmt expr =
56 56
  match expr.expr_desc with

Also available in: Unified diff