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

Joeri Exelmans c92d5be284 Add comment 9 mēneši atpakaļ
api c92d5be284 Add comment 9 mēneši atpakaļ
bootstrap e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 10 mēneši atpakaļ
concrete_syntax 75d938d2be OD parser: use ODAPI instead of 'OD' service + support ActionCode-typed attributes 9 mēneši atpakaļ
examples 641e4b9810 (WIP) add CBD language 9 mēneši atpakaļ
framework 31e0f8195f Conformance checker: use CDAPI for subtype checking 9 mēneši atpakaļ
services 16604d0f0b OD service: redirect function already implemented in ODAPI 9 mēneši atpakaļ
state a4352e3184 BIG speedup by caching the *set* of edge targets for a given key 9 mēneši atpakaļ
transformation c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. 10 mēneši atpakaļ
util c738e8bcd1 Extract language-independent 'Simulator' class from woods example 9 mēneši atpakaļ
.gitignore 72c78c664f Update gitignore 9 mēneši atpakaļ
README.md 046266bfa4 Implemented State 4 gadi atpakaļ
requirements.txt 7daee41907 fix requirements.txt 10 mēneši atpakaļ
state.p 5e28a8d108 Missing files and requirements 3 gadi atpakaļ

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.