Attendees: Sebastian, Albert, David, Tobias, Konrad Audio recording
- Bugs
- 11 bugs left
- gamess still failing
- Speed regressions quite old
- Add all bugs to the bugzilla
- Konrad's GROW paper is accepted.
- CLooG
- getting limits of the variables
- get information if a loop can be proved to be executed at least once
- callback - marking loops parallel
- Dependency analysis
- Sven has a Fourtrier like analysis based on isl available
- ISL existantially quantified variables
- Discussion at INRIA in January
- Autopar news next week (Razya)
- Next phone call in three weeks.