small (mu == micro) collection of software components with which to build Modelling Language Engineering (MLE) tools.

Joeri Exelmans e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 10 місяців тому
bootstrap e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 10 місяців тому
concrete_syntax e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 10 місяців тому
experiments e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 10 місяців тому
framework e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 10 місяців тому
services e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 10 місяців тому
state 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. 11 місяців тому
transformation c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. 10 місяців тому
util 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. 11 місяців тому
.gitignore 046266bfa4 Implemented State 4 роки тому
README.md 046266bfa4 Implemented State 4 роки тому
requirements.txt bf88f57b16 forgot to change dependency spec 11 місяців тому
state.p 5e28a8d108 Missing files and requirements 3 роки тому

README.md

MV2

This repository contains the code for my take on (a part of) the Modelverse for my Master's thesis.

Development packages

Some packages were used during development, but are not needed for succesful runtime (e.g. linter, autoformatter). These can be found under requirements_dev.txt.

Mandatory packages

Python packages required to succesfully run/test the code in this repository can be found under requirements.txt.