aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning-scope/src/test/java/tools
Commit message (Expand)AuthorAge
* feat: container type propagationLibravatar Kristóf Marussy2024-07-03
* refactor: improve propagation traceabilityLibravatar Kristóf Marussy2024-06-28
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* 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: 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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-06 04:37:48 +0000