Major updates to pluto submodules / branches and coding style

[Uday Kumar Reddy B]

In the last two weeks, there have been major updates to Pluto's
development version (https://github.com/bondhugula/pluto ); these are
summarized below.

- The pet branch has now been merged into 'master', and so the 'pet'
frontend can be used from 'master'. This also means that the master
branch will now require clang to build.

- Several submodules of pluto (including pet, isl, clan, candl,
openscop) were using versions from several years ago due to various
reasons. They have all now been updated to their latest git versions or
their last stable git release tags. Pet support in Pluto will thus work
with any recent release of Clang (including 8.0.0) and will no longer
require clang-3.4!

- Pluto's code has been auto-formatted to the LLVM style and the latter
has been set as its coding style for all future purposes. The big commit
making this change unfortunately burns / makes it difficult to view
revision history across itself, but this change was necessary once and
for all. The prior style of Pluto was inconsistent across the code base
and of poor quality / unchecked at several places. Any Pluto pull
requests/patches will now be expected to be in the LLVM style, and they
can be auto-formatted with clang-format. (clang-format -style=LLVM ...)

- All of the above changes have also been merged into the 'distmem'
branch, but the latter continues to remain separate.

If you already have a cloned repository, you'll have to do a 'git
submodule sync' to account for the updated submodule URLs. A clean
checkout and rebuild is recommended though.

[William Braswell]

Great job Uday, keep up the good work!  :-)
I have recently released a new RPerl Docker image which includes the latest stable Pluto, and I will be happy to upgrade after you have made a new release.
Thanks,
~ Will the Chill

--
You received this message because you are subscribed to the Google Groups "Pluto development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pluto-development+unsubscribe@googlegroups.com.
To post to this group, send email to pluto-development@googlegroups.com.
Visit this group at https://groups.google.com/group/pluto-development.
To view this discussion on the web visit https://groups.google.com/d/msgid/pluto-development/1e9b02f4-f005-057b-66ff-1e7d89e3533f%40iisc.ac.in.
For more options, visit https://groups.google.com/d/optout.