Tiny (meta-)modeling framework

Find a file

Joeri Exelmans 72c78c664f Update gitignore		2024-10-29 23:49:30 +01:00
api	ODAPI: fix bug + add function 'has_slot'	2024-10-29 23:48:30 +01:00
bootstrap	PlantUML: render class cardinalities. Extend constraint checker API.	2024-10-08 21:08:06 +02:00
concrete_syntax	OD textual renderer: fix order when there are links to/from links	2024-10-29 23:45:39 +01:00
examples	Update gitignore	2024-10-29 23:49:30 +01:00
framework	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.	2024-10-29 23:47:41 +01:00
services	Clearer error msg	2024-10-29 23:48:07 +01:00
state	BIG speedup by caching the set of edge targets for a given key	2024-10-28 17:11:55 +01:00
transformation	Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.	2024-10-08 12:22:37 +02:00
util	Extract language-independent 'Simulator' class from woods example	2024-10-29 11:20:32 +01:00
.gitignore	Update gitignore	2024-10-29 23:49:30 +01:00
README.md	Implemented State	2021-08-11 14:55:13 +02:00
requirements.txt	fix requirements.txt	2024-10-09 10:03:13 +02:00
state.p	Missing files and requirements	2021-09-28 19:53:12 +02:00

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.