(re)enable formatting checks

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@195935 91177308-0d34-0410-b5e6-96231b3b80d8
Update isl to latest maintenance release

This includes isl commits b9c7b8c8c98a6722262f076b27f833a25b83f55d and
454621e935ff836361c77df436fbd7066c9d44e0 which fix PR18130.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@196655 91177308-0d34-0410-b5e6-96231b3b80d8
test: Remove use of defaultOpts

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@196826 91177308-0d34-0410-b5e6-96231b3b80d8
ScopValidator: smax expressions are no parameters

This fixes PR18155 which is a regression introduced in 152913.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@196827 91177308-0d34-0410-b5e6-96231b3b80d8
Report detected scops using the new diagnostics

We now report the following:

$ polly-clang -O3 -mllvm -polly -mllvm -polly-report test.c  -c \
  -gline-tables-only

note: Polly detected an optimizable loop region (scop) in function 'foo'
test.c:2: Start of scop
test.c:3: End of scop
note: Polly detected an optimizable loop region (scop) in function 'bar'
test.c:9: Start of scop
test.c:13: End of scop

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197558 91177308-0d34-0410-b5e6-96231b3b80d8
Fix formatting

The polly on-commit formatting checker notified me that I forgot to format
the code before submitting.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197560 91177308-0d34-0410-b5e6-96231b3b80d8
www: Use a modern menu style

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197722 91177308-0d34-0410-b5e6-96231b3b80d8
www: Rename menu items

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197723 91177308-0d34-0410-b5e6-96231b3b80d8
www: shorten menu entry

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197724 91177308-0d34-0410-b5e6-96231b3b80d8
www: Add nice header

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197738 91177308-0d34-0410-b5e6-96231b3b80d8
www: Add favicon

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197739 91177308-0d34-0410-b5e6-96231b3b80d8
www: Use red for visited links

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197745 91177308-0d34-0410-b5e6-96231b3b80d8
www: We already integrated the isl code generator

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197746 91177308-0d34-0410-b5e6-96231b3b80d8
www: Mark more items done

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197747 91177308-0d34-0410-b5e6-96231b3b80d8
www: Highlight title, add subtitle

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197752 91177308-0d34-0410-b5e6-96231b3b80d8
www: No need to mention Polly in each subtitle

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197760 91177308-0d34-0410-b5e6-96231b3b80d8
www: Name the tiling scheme in the header

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197763 91177308-0d34-0410-b5e6-96231b3b80d8
www: Do not use a small fonts for the core text

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197793 91177308-0d34-0410-b5e6-96231b3b80d8
www: Do not use a fixed with, but use max-width

Further:

  o ensure that the header is properly readable even on smaller screen sizes.
  o Shorten the table of contents of the documentation section.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197794 91177308-0d34-0410-b5e6-96231b3b80d8
www: Fix typos

Reported-by: Dmitry N. Mikushin <maemarcus@gmail.com>

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197796 91177308-0d34-0410-b5e6-96231b3b80d8