aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language
Commit message (Expand)AuthorAge
* feat(language): warn about partial referencesLibravatar Kristóf Marussy2024-06-17
* refactor(language): allow rules without preconditionsLibravatar Kristóf Marussy2024-06-17
* feat(language): validate quantification in rulesLibravatar Kristóf Marussy2024-06-16
* feat: partial referencesLibravatar Kristóf Marussy2024-06-01
* refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
* fix(language): validate unique rule namesLibravatar Kristóf Marussy2024-05-26
* fix(language): spurious exception in ProblemValidatorLibravatar Kristóf Marussy2024-05-26
* feat(language): node constants in rule actionsLibravatar Kristóf Marussy2024-05-26
* feat(language): more extensive rule validationLibravatar Kristóf Marussy2024-05-26
* refactor(language): merge Assertion and AssertionActionLibravatar Kristóf Marussy2024-05-26
* feat(language): rule validationLibravatar Kristóf Marussy2024-05-26
* feat: type checking for rulesLibravatar Kristóf Marussy2024-05-26
* feat: rule parsingLibravatar Kristóf Marussy2024-05-26
* fix(language): Sonar lint issueLibravatar Kristóf Marussy2024-04-07
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* feat(language): validate assignment expressionsLibravatar Kristóf Marussy2024-04-07
* refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
* feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
* refactor(language): classpath based library contextLibravatar Kristóf Marussy2024-02-19
* feat(language): import validationLibravatar Kristóf Marussy2024-02-18
* refactor(language): no fully qualified self importLibravatar Kristóf Marussy2024-02-18
* feat(language): filter content assist for importsLibravatar Kristóf Marussy2024-02-11
* refactor(language): scope shadowingLibravatar Kristóf Marussy2024-02-11
* refactor(language): simplify default module kindsLibravatar Kristóf Marussy2024-02-11
* feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
* Revert "refactor: simplify module name inference"Libravatar Kristóf Marussy2024-02-05
* refactor: simplify module name inferenceLibravatar Kristóf Marussy2024-02-04
* feat: filesystem-level import resolutionLibravatar Kristóf Marussy2024-02-04
* feat(language): import resolutionLibravatar Kristóf Marussy2024-02-03
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
* feat(language): validate module isolationLibravatar Kristóf Marussy2024-01-31
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* feat(web): color identifiers and nodesLibravatar Kristóf Marussy2024-01-03
* 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
* refactor(language): opposite content assistLibravatar Kristóf Marussy2023-11-17
* feat(language-ide): content assist filteringLibravatar Kristóf Marussy2023-11-17
* feat(language): validate unique namesLibravatar Kristóf Marussy2023-11-17
* feat(langugage): detect ambiguous referencesLibravatar Kristóf Marussy2023-11-17
* build: prepare for Maven publicationLibravatar Kristóf Marussy2023-11-17
* chore(build): replce deprecated Gradle API useLibravatar Kristóf Marussy2023-08-31
* refactor: rename invalidNumberOfContainersLibravatar Kristóf Marussy2023-08-29
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
* build: improve Xtext project isolationLibravatar Kristóf Marussy2023-04-26
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 01:19:21 +0000