Add support for OpenSCoP 0.5

[tobiasgrosser]

Bugzilla Link	10229
Resolution	WONTFIX
Resolved on	Jan 18, 2016 17:02
Version	unspecified
OS	Linux
CC	@jdoerfert,@tobiasgrosser

Extended Description

OpenSCoP is a library that will allow the integration of different polyhedral tools. Cedric recently posted a first draft of OpenSCoP [1], that includes several features we waited for since a long time. Updating Polly's OpenSCoP support will allow us to natively link with the upcoming versions of Pluto, PoCC and probably several other polyhedral optimizers.

This project is actually a nice beginner project, as it is self contained, pretty straightforward, but nevertheless very important.

[1] http://groups.google.com/group/openscop-development/t/ccad5f2b34a8d0b5

[jdoerfert]

bump. How is this different to our json exporter?

[tobiasgrosser]

I also don't see an urgent need to add openscop support natively to Polly. If someone wants to use openscop, a JSCOP to openscop converter (written e.g. in python) is possibly the better approach.

[tlattner]

Move to Polly Product.