aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/test
Commit message (Expand)AuthorAge
* refactor(language): no fully qualified self importLibravatar Kristóf Marussy2024-02-18
* feat(language): validate module isolationLibravatar Kristóf Marussy2024-01-31
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* fix(language): unambigous reference serializationLibravatar Kristóf Marussy2023-12-24
* feat: solution serializerLibravatar Kristóf Marussy2023-12-24
* feat(langauge): validate exists and equalsLibravatar Kristóf Marussy2023-11-19
* feat(language): arity validationLibravatar Kristóf Marussy2023-11-19
* feat(language): opposite reference validationLibravatar Kristóf Marussy2023-11-17
* feat(langugage): detect ambiguous referencesLibravatar Kristóf Marussy2023-11-17
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* refactor(language): simplify syntaxLibravatar Kristóf Marussy2022-11-22
* refactor: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
* refactor: DNF atomsLibravatar Kristóf Marussy2022-11-05
* fix: test and lint failuresLibravatar Kristóf Marussy2022-10-04
* feat(language): problem desugaringLibravatar Kristóf Marussy2022-09-19
* fix(language): rule parsing testLibravatar Kristóf Marussy2022-08-12
* refactor: direct predicatesLibravatar Kristóf Marussy2022-08-01
* refactor: simplify language projectLibravatar Kristóf Marussy2022-07-29
* build: clean up buildSrc scriptsLibravatar Kristóf Marussy2022-07-29
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12