Project

General

Profile

« Previous | Next » 

Revision d0f26f04

Added by LĂ©lio Brun 7 months ago

corrections for stateless nodes

View differences:

src/lustre_live.ml
15 15
open ISet
16 16
module Live = Map.Make (Int)
17 17

  
18
let pp_live fmt l = Live.bindings
19

  
20 18
let assigned s eq = union s (of_list eq.eq_lhs)
21 19

  
22 20
let rec occur_dim_expr s d =

Also available in: Unified diff