Changeset 1995 for src/ERTL/liveness.ma
- Timestamp:
- May 24, 2012, 7:18:35 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ERTL/liveness.ma
r1730 r1995 298 298 fix_correct: 299 299 ∀globals: list ident. 300 ∀int_fun. 300 (* ∀int_fun.*) 301 301 ∀f. (* CSC: was let f ≝ liveafter globals int_fun in *) 302 302 ∀v: label.
Note: See TracChangeset
for help on using the changeset viewer.