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.ml
215 215
      let id = Clocks.const_of_carrier cr in
216 216
      let v = env.get_var id in
217 217
      aux
218
        ( (fun spec -> Imply (Equal (Var v, Tag l), fspec spec)),
218
        ( (fun spec -> Imply (Equal (Var v, Tag (l, v.var_type)), fspec spec)),
219 219
          mk_control v l inst )
220 220
        ck
221 221
    | _ ->

Also available in: Unified diff