Ana Sayfa Keşfet Yardım
Giriş Yap
projects
/
muMLE
İzle 1
Yıldızla 0
Çatalla 0
Dosyalar Sorunlar 0 Değişiklik İstekleri 0 Wiki

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

Ağaç: a26ceef10f
Dallar Biçim İmleri
muMLE
ZIP TAR.GZ
Joeri Exelmans a26ceef10f Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types 1 yıl önce
api a26ceef10f Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types 1 yıl önce
bootstrap a26ceef10f Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types 1 yıl önce
concrete_syntax 75d938d2be OD parser: use ODAPI instead of 'OD' service + support ActionCode-typed attributes 1 yıl önce
examples 641e4b9810 (WIP) add CBD language 1 yıl önce
framework a26ceef10f Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types 1 yıl önce
services a26ceef10f Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types 1 yıl önce
state a4352e3184 BIG speedup by caching the *set* of edge targets for a given key 1 yıl önce
transformation c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. 1 yıl önce
util c738e8bcd1 Extract language-independent 'Simulator' class from woods example 1 yıl önce
.gitignore 72c78c664f Update gitignore 1 yıl önce
README.md 046266bfa4 Implemented State 4 yıl önce
requirements.txt 7daee41907 fix requirements.txt 1 yıl önce
state.p 5e28a8d108 Missing files and requirements 4 yıl önce

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.