GIPS v2: Todos & Ideas

[maxkratz]

In this issue, we want to gather todos and ideas for the work towards GIPS v2.

• GIPS v2 will be based on IBeX 2.0 GTL language. A feature branch already exists.
• Merge the current master into the feature branch
• Remove most of the ILP transformation logic (e.g., OR constraints) and integrate eMoflon-ILP as an ILP backend
• Integrate quadratic constraints into the language and the transformation logic.
• Integrate GIPSL (language) improvements, e.g., removal of the implicit multiplication of mapping variables within the mapping context
• Create a PR for the integration or, alternatively, create a new repo with the name Echtzeitsysteme/gips-2
  • We also need a new update site deployment in the latter case.