ChangeLog
3.6 - Upcoming release
- Switch to the new isl AST generator (replacing CLooG)
- Run-time alias checks
- Computation of no-alias information for later LLVM optimizations (vectorizer, LICM, ...)
- Support for multi-dimensional arrays of parameteric size (still tested)
- New assumption tracking framework
- Accesses to multi-dimensional arrays of fixed size are within bounds
- Compile-time reduction