Project

General

Profile

« Previous | Next » 

Revision 0406ab94

Added by LĂ©lio Brun 7 months ago

implement optimization on spec: IT WORKS

View differences:

src/spec_common.ml
79 79

  
80 80
let mk_pred_call pred = Predicate pred
81 81

  
82
let mk_transition ?(mems = ISet.empty) ?(insts = IMap.empty) ?r ?i ?inst id
83
    inputs locals outputs =
82
let mk_transition ?(mems = ISet.empty) ?(insts = IMap.empty) ?r ?i ?inst id vars
83
    =
84 84
  let tr =
85 85
    mk_pred_call
86 86
      (Transition
87 87
         ( id,
88 88
           inst,
89 89
           i,
90
           vals inputs,
91
           vals locals,
92
           vals outputs,
90
           vals vars,
93 91
           (match r with Some _ -> true | None -> false),
94 92
           mems,
95 93
           insts ))

Also available in: Unified diff