Revision 2cf39a8e
- many bugs/limitations in lifting operators to tuples have been worked out:
- typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !!)
in file normalization, line 396
- bug corrected in subtyping
- scheduling outcome changed:
- variables appearing in a call output are gathered
- ease the design of a reusability algorithm
- liveness/reusability is still a work in progress
Files
- added
- modified
- copied
- renamed
- deleted