aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning-scope/src/test
Commit message (Expand)AuthorAge
* fix: scope upper boundsLibravatar Kristóf Marussy2023-11-17
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
* fix: build failures after integrating generationLibravatar Kristóf Marussy2023-09-11
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* feat: type scope propagatorLibravatar Kristóf Marussy2023-09-03