Version that works with Rebel2 v jan-2021

This release works as a backend with the jan-2021 version of Rebel2 (see https://github.com/cwi-swat/rebel2/releases/tag/jan-2021).

Stable version of AlleAlle that works well as backend for Rebel2 v0.0.1

This is a stable version of AlleAlle that is a compatible backend for Rebel2 v0.0.1 (https://github.com/cwi-swat/rebel2/releases/tag/0.0.1)

SLE 2018 tag accompanying submission of the 'Constraint-based Run-time State Migration for Live Modeling' paper

This tag can be used to checkout the version of AlleAlle used in the 'Constraint-based Run-time State Migration for Live Modeling' paper. This version is used as a backend by the 'Nextep' language (https://github.com/cwi-swat/live-modeling).