Implementation of Graph Rewriting Petri Nets
Updated 2024-07-26 20:11:17 +00:00
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Updated 2024-07-26 11:03:25 +00:00
Incremental unidirectional and bidirectional graph transformations with the HiPE incremental parallel pattern matching engine
Updated 2024-07-26 10:40:06 +00:00
This repository contains prototype implementations for incorporating weak/hard constraints during consistency restoration
Updated 2024-07-26 08:26:05 +00:00
Eclipse plug-in for ILP solvers.
Updated 2024-07-25 07:16:20 +00:00
CI and build scripts for eMoflon::IBeX Eclipse installations.
Updated 2024-07-17 14:03:39 +00:00
Infrastructure for implementing benchmarx: benchmarks for bidirectional transformation (bx) tools. Also contains a collection of example benchmarx and test runners for various and diverse bx tools.
Updated 2024-07-15 13:32:33 +00:00
Deployment repository for the eMoflon project site on GitHub. For changes see https://github.com/eMoflon/emoflon-website-hugo.
Updated 2024-07-05 12:15:53 +00:00
Hugo-based website for the eMoflon project.
Updated 2024-07-05 12:14:19 +00:00
Updated 2024-07-05 12:04:33 +00:00
Updated 2024-07-05 12:04:29 +00:00
DSL for the description of metamodels in Langium
Updated 2024-07-02 17:17:55 +00:00
Tutorial projects and documentation for eMoflon::IBeX.
Updated 2024-06-27 10:29:59 +00:00
A visual debugger for graph transformation systems
Updated 2024-06-21 06:46:04 +00:00
A Neo4j-based implementation of eMoflon
Updated 2024-06-21 05:45:54 +00:00