aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/test
Commit message (Expand)AuthorAge
* 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