Project

General

Profile

« Previous | Next » 

Revision 0406ab94

Added by LĂ©lio Brun 7 months ago

implement optimization on spec: IT WORKS

View differences:

src/machine_code_common.ml
58 58
     fun fmt e -> pp_expr m fmt e
59 59
    in
60 60
    match p with
61
    | Transition (f, inst, i, inputs, locals, outputs, _r, _mems, _insts) ->
61
    | Transition (f, inst, i, vars, _r, _mems, _insts) ->
62 62
      fprintf fmt "Transition_%a<%a>%a%a" pp_print_string f
63 63
        (pp_print_option
64 64
           ~none:(fun fmt () -> pp_print_string fmt "SELF")
......
67 67
        (pp_print_option pp_print_int)
68 68
        i
69 69
        (pp_print_parenthesized pp_expr)
70
        (inputs @ locals @ outputs)
70
        vars
71 71
    | Reset (f, inst, r) ->
72 72
      fprintf fmt "Reset_%a<%a> on %a" pp_print_string f pp_print_string inst
73 73
        (pp_val m) r
......
239 239
    (pp_print_option pp_print_int)
240 240
    t.tindex
241 241
    (pp_print_parenthesized pp_vdecl)
242
    (t.tinputs @ t.tlocals @ t.toutputs)
243
    (PrintSpec.pp_spec m) t.tformula
242
    t.tvars (PrintSpec.pp_spec m) t.tformula
244 243

  
245 244
let pp_transitions m fmt =
246 245
  if !Options.spec <> "no" then

Also available in: Unified diff