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.