aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/main
Commit message (Expand)AuthorAge
* feat(semantics): base predicate serializationLibravatar Kristóf Marussy2024-08-02
* fix(reasoning): default false base predicvate translationLibravatar Kristóf Marussy2024-08-01
* feat(language): base predicate validationLibravatar Kristóf Marussy2024-08-01
* feat: base predicatesLibravatar Kristóf Marussy2024-08-01
* fix(language): disallow error predicate assertionsLibravatar Kristóf Marussy2024-07-17
* feat(semantics): implicit rule preconditionsLibravatar Kristóf Marussy2024-07-06
* feat(language): shadow predicate validation and content assistLibravatar Kristóf Marussy2024-07-05
* feat: container type propagationLibravatar Kristóf Marussy2024-07-03
* refactor(language): rename definition to computedLibravatar Kristóf Marussy2024-07-02
* refactor: incomplete query liftingLibravatar Kristóf Marussy2024-07-01
* refactor(language): shadow predicates instead of computed value operatorLibravatar Kristóf Marussy2024-07-01
* refactor(language): change computed value symbolLibravatar Kristóf Marussy2024-06-30
* feat(language): computed value validationLibravatar Kristóf Marussy2024-06-30
* refactor(language): computed constraint symbolLibravatar Kristóf Marussy2024-06-30
* refactor(language): move computed to AtomLibravatar Kristóf Marussy2024-06-30
* feat: access computed values of relationsLibravatar Kristóf Marussy2024-06-30
* refactor(language): improve propagation rule validationLibravatar Kristóf Marussy2024-06-28
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-19 20:28:59 +0000