Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: Integrate changes for IBeX v2 #216

Draft
wants to merge 243 commits into
base: master
Choose a base branch
from
Draft

Conversation

maxkratz
Copy link
Member

This PR integrates the eMoflon::IBeX v2 specific changes into the main branch towards our goal of merging IBeX 2.0 (eMoflon/emoflon-ibex#424).

arg0n1s and others added 30 commits September 1, 2022 16:44
-> Slim GT is a reduced and merged version of the GT and TGG grammars
-> GTL is a refinement of SlimGT to enable an equally expressive set of grammar rules compared to the old GT language
+ fixed missing dependencies
+ added missing parameter references within arithmetic expressions
+ added count expression to SlimGT
+ added stochastic functions to SlimGT
+ added edge deletions to GTL
+ added edge iterators to GTL
+ added rule probabilities to GTL
+ added some utility classes
+ added gt file import proposal
+ added scoping for rule refinements
+ added scoping for parameter expressions
+ added scoping for attribute assignments
added scope for super rules
+ added appropriate scoping for new refinements
removed most tgg specific # prefixes
added node refinement statement
adrianmoeller and others added 25 commits July 6, 2023 15:18
…roject

This should solve the issues of having various errors that cannot be resolved by eclipse automatically.
Instead, we had to delete the problems by hand, e.g., cannot find gen and src-gen folders, and rebuild the projects by hand.
…h cyclic dependencies

restored menu options to create new tgg projects and rules
…h cyclic dependencies

restored menu options to create new tgg projects and rules
…uld contain a created node with an abstract type, which could never be instantiated
+ Todo: fix some minor visualization errors
++ visualize patterns
++ visualize rules
++ visualize invocations
++ visualize invocation node mappings

TODO: Think about the following Features:
+ How to visualize parameters?
+ How to visualize injectivity constraints?
+ How to visualize attribute conditions?
+ How to visualize attribute assignments?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants