Project

General

Profile

« Previous | Next » 

Revision 3d1f9d9f

Added by LĂ©lio Brun over 2 years ago

more agressive optim propagation in spec in order to remove unecessarry existential variables that were eliminated (helps the solvers)

View differences:

src/machine_code_common.ml
45 45
  let pp_expr m fmt = function
46 46
    | Val v ->
47 47
      pp_val m fmt v
48
    | Tag t ->
48
    | Tag (t, _) ->
49 49
      pp_print_string fmt t
50 50
    | Var v ->
51 51
      pp_vdecl fmt v

Also available in: Unified diff