aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics
Commit message (Expand)AuthorAge
* refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
* build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
* refactor(language): simplify syntaxLibravatar Kristóf Marussy2022-11-22
* refactor: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
* feat(store): DataRepresentation reflective typeLibravatar Kristóf Marussy2022-11-10
* refactor: DNF atomsLibravatar Kristóf Marussy2022-11-05
* 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