This repository contains a MPS implementation of the CrySL language used in CogniCrypt. This implementation follows the language specified in Krüger et al. (2018).
To build the language dependencies to mbeddr-platform as well as iets3.opensource need to be accessible by MPS.
Currently the project still runs on the old 2020.3 version of MPS due to the iets3.opensource dependency not supporting any newer version so far.