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

152 커밋

Joeri Exelmans b116496f87 Make sure line is erased.		9 달 전
api	43080f88fe ODAPI: fix bug + add function 'has_slot'	9 달 전
bootstrap	e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API.	10 달 전
concrete_syntax	a682204381 OD textual renderer: fix order when there are links to/from links	9 달 전
examples	b116496f87 Make sure line is erased.	9 달 전
framework	48f7a455fb Fancy up the conformance checker a bit. Clearer error messages, and allow constraints to return not just a boolean, but also (lists of) strings, containing error messages.	9 달 전
services	51b8469856 Clearer error msg	9 달 전
state	a4352e3184 BIG speedup by caching the set of edge targets for a given key	9 달 전
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	c738e8bcd1 Extract language-independent 'Simulator' class from woods example	9 달 전
.gitignore	046266bfa4 Implemented State	4 년 전
README.md	046266bfa4 Implemented State	4 년 전
requirements.txt	7daee41907 fix requirements.txt	10 달 전
state.p	5e28a8d108 Missing files and requirements	3 년 전

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.

README.md

MV2

Development packages

Mandatory packages