aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/main/java/tools
Commit message (Collapse)AuthorAge
* fix(language): disallow error predicate assertionsLibravatar Kristóf Marussy26 hours
| | | | | We don't process error predicate assertions in ModelInitializer, so let's forbid them entirely.
* feat(semantics): implicit rule preconditionsLibravatar Kristóf Marussy12 days
|
* feat(language): shadow predicate validation and content assistLibravatar Kristóf Marussy13 days
|
* 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
| | | | | | | | | | | | * Allow specifying only the modality or only the concreteness of constraints in the DNF representation. * Allow modal operators in the Refinery language that only specific modality or concreteness. * Allow modal operators in shadow predicates. * Allow non-modal literals in rule definitions. * Lift rule definitions to partial must automatically. * Disallow modal operators in parameter lists. * Change the symbols for parameter binding modes.
* 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
| | | | | References marked as partial are not concretized during model generation. The should be managed by the user manually using propagation rules instead.
* refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
| | | | Make the rule syntax more similar to the predicate syntax.
* fix(language): validate unique rule namesLibravatar Kristóf Marussy2024-05-26
|
* fix(language): spurious exception in ProblemValidatorLibravatar Kristóf Marussy2024-05-26
| | | | | Make sure getNodeArgumentForMultiObjectAssertion runs correctly even for ASTs with parse errors.
* 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
| | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider.
* feat(language): validate assignment expressionsLibravatar Kristóf Marussy2024-04-07
|
* refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
| | | | Also reorganizes operator names for easier future extension.
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
| | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time.
* 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
| | | | | | | Validate imports and imported resources. Also fixes a linking error in imported resources by ensuring that imported resources are always fully resolved with all of their derived state.
* refactor(language): no fully qualified self importLibravatar Kristóf Marussy2024-02-18
| | | | | | | | Make sure it is impossible to create clashing fully qualified names when renaming a module by forbidding modules from referring to their own elements with fully qualified names. Therefore, serializing a solution will not create clashing fully qualified names (which would prevent serialization from succeeding).
* 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
| | | | Use a transient attribute instead of an adapter.
* feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
|
* Revert "refactor: simplify module name inference"Libravatar Kristóf Marussy2024-02-05
| | | | This reverts commit c6e70f5a01c877b560d4561f22a830c1ce1c6dbe.
* refactor: simplify module name inferenceLibravatar Kristóf Marussy2024-02-04
| | | | | We never need to infer names for modules not added by import, because importing a problem (i.e., a Resource manually added into the ResourceSet) is not allowed.
* feat: filesystem-level import resolutionLibravatar Kristóf Marussy2024-02-04
| | | | | Modules without an explicitly declared name get a name automatically inferred from their path.
* feat(language): import resolutionLibravatar Kristóf Marussy2024-02-03
|
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
| | | | | | * Use fully qualified names starting with :: (as in C++) to unambiguously refer to an element. * Name shadowing within modules.
* feat(language): validate module isolationLibravatar Kristóf Marussy2024-01-31
|
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
| | | | | | | | * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively.
* feat(web): color identifiers and nodesLibravatar Kristóf Marussy2024-01-03
| | | | | We use a palette-based coloring strategy, where each class and enum gets a color from
* 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
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-18 20:53:04 +0000