Home Explore Help
Sign In
projects
/
muMLE
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

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

Tree: a89fe4bb71
Branches Tags
muMLE
ZIP TAR.GZ
Joeri Exelmans a89fe4bb71 Port language: Textual renderer shows when a berth is being operated 1 year ago
api 43080f88fe ODAPI: fix bug + add function 'has_slot' 1 year ago
bootstrap e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 1 year ago
concrete_syntax a682204381 OD textual renderer: fix order when there are links to/from links 1 year ago
examples a89fe4bb71 Port language: Textual renderer shows when a berth is being operated 1 year ago
framework 86610139d2 Refactor 'port' demo to include starting point for assignment 1 year ago
services 51b8469856 Clearer error msg 1 year ago
state a4352e3184 BIG speedup by caching the *set* of edge targets for a given key 1 year ago
transformation c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. 1 year ago
util c738e8bcd1 Extract language-independent 'Simulator' class from woods example 1 year ago
.gitignore 72c78c664f Update gitignore 1 year ago
README.md 046266bfa4 Implemented State 4 years ago
requirements.txt 7daee41907 fix requirements.txt 1 year ago
state.p 5e28a8d108 Missing files and requirements 4 years ago

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.