aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning-scope
Commit message (Expand)AuthorAge
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* fix: upper and lower scopesLibravatar Kristóf Marussy2023-11-19
* fix: contains assertionsLibravatar Kristóf Marussy2023-11-17
* fix: scope upper boundsLibravatar Kristóf Marussy2023-11-17
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
* fix: avoid GLOP error message on stderrLibravatar Kristóf Marussy2023-09-11
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
* fix: build failures after integrating generationLibravatar Kristóf Marussy2023-09-11
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
* feat: declarative DSE rules and model refinementLibravatar Kristóf Marussy2023-09-07
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* feat: type scope propagatorLibravatar Kristóf Marussy2023-09-03
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 20:03:16 +0000