aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/test
Commit message (Expand)AuthorAge
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy2024-04-07
* feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
* refactor: serialize solutions as modulesLibravatar Kristóf Marussy2024-01-31
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* fix(build): avoid cyclic dependencyLibravatar Kristóf Marussy2024-01-31
* feat: solution serializerLibravatar Kristóf Marussy2023-12-24
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* feat(language): opposite reference validationLibravatar Kristóf Marussy2023-11-17
* refactor: smenatics and facadesLibravatar Kristóf Marussy2023-11-03
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
* fix: VIATRA projection indexer errorLibravatar Kristóf Marussy2023-09-10
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
* fix: nullary model initializationLibravatar Kristóf Marussy2023-08-19
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* feat: data structure for default assertionsLibravatar Kristóf Marussy2022-10-03
* refactor: tuples in QueryableModelLibravatar Kristóf Marussy2022-10-03
* feat: data structure for assertion mergingLibravatar Kristóf Marussy2022-10-03
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 21:22:44 +0000