Project

General

Profile

« Previous | Next » 

Revision c4780a6a

Added by LĂ©lio Brun 7 months ago

work on new reset functions generation

View differences:

src/machine_code.ml
161 161
        let h, spec_h = translate_act (y, h) in
162 162
        (t, [h]), (t, spec_h))
163 163
        hl)) in
164
    mk_branch ~lustre_eq var_x hl,
164
    mk_branch' ~lustre_eq var_x hl,
165 165
    mk_branch_tr var_x spec_hl
166 166
  | _ ->
167 167
    let e = translate_expr expr in

Also available in: Unified diff