aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning-scope/src
Commit message (Expand)AuthorAge
* 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