Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by LĂ©lio Brun 9 months ago

start with Spec AST generation

View differences:

src/optimize_machine.ml
283 283
  let vdecl = { vdecl with var_type = const.const_type } in
284 284
  let lustre_eq = mkeq loc ([const.const_id], mkexpr loc (Expr_const const.const_value)) in
285 285
  mkinstr
286
    ~lustre_eq:lustre_eq 
286
    ~lustre_eq
287
    True
287 288
    (MLocalAssign (vdecl, mk_val (Cst const.const_value) vdecl.var_type))
288 289

  
289 290
(* We do not perform this optimization on contract nodes since there

Also available in: Unified diff