ISL 0.15 Version Upgrade

[Martin Ward]

Details located at:

​http://isl.gforge.inria.fr/

Download:

​http://isl.gforge.inria.fr/isl-0.15.tar.xz

[chris@…]

Also add "--disable-isl-version-check" to GCC configure (probably already mentioned on the mailing lists, but it should be here as well).

[William Harrington]

​http://isl.gforge.inria.fr/isl-0.13.tar.xz

We'll need to make sure CLooG and GCC have the required support available to build with ISL 0.13 (blackaddr mentioned this)

version: 0.13 date: Mon Apr 14 11:08:45 CEST 2014 changes:

• deprecate isl_int
• improved support for multi piecewise quasi-affine expressions
• allow the user to impose a bound on the number of low-level operations
• add isl_id_to_ast_expr and isl_id_to_pw_aff
• add isl_schedule_constraints
• hide internal structure of isl_vec
• remove support for piplib

[William Harrington]

Download ​http://isl.gforge.inria.fr/isl-0.14.tar.xz

Changes for ISL 0.14:

• support IMath as an optional replacement for GMP
• minor AST generator improvements

[William Harrington]

​https://groups.google.com/forum/#!topic/isl-announce/KR1FZdvZmhc

Changes for ISL 0.14.1:

fix bug in affine expression normalization 
fix handling of conditional validity constraints

GCC 4.9.2 with branch update patch does not need an ISL patch and needs --disable-isl-version check GCC 5.1 will most likely not need --disable-isl-version check.

New version of CLooG for 4.9.2 may not need a patch.

[William Harrington]

We are moving to GCC 5.2.0. All GCC 5.2.0 needs is a patch for ISL 0.15. The patch is at GCC 5.2

Apply the patch with GCC 5.2.0 and there will be no issues.

[William Harrington]

Fixed at commit d24f06a6c431cd0f4cd5d5cac48f1cd370a7a6d2