Inicio Explorar Axuda
Iniciar sesión
projects
/
muMLE
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki

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

Árbore: 8f785db55a
Ramas Etiquetas
muMLE
ZIP TAR.GZ
Joeri Exelmans 8f785db55a add gitignore hai 1 ano
bootstrap e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. hai 1 ano
concrete_syntax 17bff66e8e Add conformance checking example hai 1 ano
examples 8f785db55a add gitignore hai 1 ano
framework b69efc9af0 Fix bug in conformance checker hai 1 ano
services 17bff66e8e Add conformance checking example hai 1 ano
state 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. hai 1 ano
transformation c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. hai 1 ano
util 17bff66e8e Add conformance checking example hai 1 ano
.gitignore 046266bfa4 Implemented State %!s(int64=4) %!d(string=hai) anos
README.md 046266bfa4 Implemented State %!s(int64=4) %!d(string=hai) anos
requirements.txt bf88f57b16 forgot to change dependency spec hai 1 ano
state.p 5e28a8d108 Missing files and requirements %!s(int64=4) %!d(string=hai) anos

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.