Clan 0.7.0

[Cédric Bastoul]

Hi @all,
I think it's time for a new Clan release, before the IMPACT workshop
and probably many discussions around tools. This is a major step for
Clan which did not evolve much during the last two years. This new
release provides:

- support for the OpenScop format,
- support for any C statement (Clan uses now a C99 grammar),
- support for general if and for conditions on affine expressions
(including &&, ||, ! and == operators, plus modulo-guards),
- support for the else statement,
- support for any integer loop step (positive or negative),
- support for several SCoPs in the same file,
- real multi-precision (32, 64 bits and GMP) without recompiling,
- fancy diagnostic about non-regularities in the input code, inspired
by Skimo's Pet tool,
- automatic SCoP detection,
- automatic SCoP pragma insertion,
- updated documentation and a "Clan Reference Card" to help the users.
All this in 3291 lines of code only :-).

http://www.lri.fr/~bastoul/development/clan
(this will move on Sourceforge soon)

The integration within existing tools will necessitate some work
because of OpenScop (the new generation of SCoPLib). Many of the new
features would have not been possible without a new format supporting
unions, existential quantifiers and extensions. Unions and existential
quantifiers are already supported by CLooG and isl. CLooG 0.17.0
supports OpenScop natively and isl supports the "extended polylib
format" which is what OpenScop uses. So this new Clan updates the path
from Clan to CLooG and will help to make a better use of isl. I think
it worth the integration work!

Next steps will be on irregular support (now this will be easy), and
variable types (including Prasanth Chatarasi's work).
Hope you'll like and not find too many bugs ;-).
Have fun,

Ced.