Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(language): improve propagation rule validation | 2024-06-28 | |
| | |||
* | build: add Maven metadata | 2024-06-23 | |
| | |||
* | feat(language): warn about partial references | 2024-06-17 | |
| | |||
* | refactor(language): allow rules without preconditions | 2024-06-17 | |
| | |||
* | feat(language): validate quantification in rules | 2024-06-16 | |
| | |||
* | feat: partial references | 2024-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 syntax | 2024-05-30 | |
| | | | | Make the rule syntax more similar to the predicate syntax. | ||
* | fix(language): validate unique rule names | 2024-05-26 | |
| | |||
* | fix(language): spurious exception in ProblemValidator | 2024-05-26 | |
| | | | | | Make sure getNodeArgumentForMultiObjectAssertion runs correctly even for ASTs with parse errors. | ||
* | feat(language): node constants in rule actions | 2024-05-26 | |
| | |||
* | feat(language): more extensive rule validation | 2024-05-26 | |
| | |||
* | refactor(language): merge Assertion and AssertionAction | 2024-05-26 | |
| | |||
* | feat(language): rule validation | 2024-05-26 | |
| | |||
* | feat: type checking for rules | 2024-05-26 | |
| | |||
* | feat: rule parsing | 2024-05-26 | |
| | |||
* | fix(language): Sonar lint issue | 2024-04-07 | |
| | |||
* | feat(language): type inference | 2024-04-07 | |
| | | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider. | ||
* | feat(language): validate assignment expressions | 2024-04-07 | |
| | |||
* | refactor(language): assignment and cast expression | 2024-04-07 | |
| | | | | Also reorganizes operator names for easier future extension. | ||
* | feat(language): datatype declarations | 2024-04-07 | |
| | | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time. | ||
* | feat: custom identifier coloring | 2024-03-22 | |
| | |||
* | refactor(language): classpath based library context | 2024-02-19 | |
| | |||
* | feat(language): import validation | 2024-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 import | 2024-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 imports | 2024-02-11 | |
| | |||
* | refactor(language): scope shadowing | 2024-02-11 | |
| | |||
* | refactor(language): simplify default module kinds | 2024-02-11 | |
| | | | | Use a transient attribute instead of an adapter. | ||
* | feat(language): automatic problem kind inference | 2024-02-06 | |
| | |||
* | Revert "refactor: simplify module name inference" | 2024-02-05 | |
| | | | | This reverts commit c6e70f5a01c877b560d4561f22a830c1ce1c6dbe. | ||
* | refactor: simplify module name inference | 2024-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 resolution | 2024-02-04 | |
| | | | | | Modules without an explicitly declared name get a name automatically inferred from their path. | ||
* | feat(language): import resolution | 2024-02-03 | |
| | |||
* | refactor(language): name disambiguation | 2024-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 isolation | 2024-01-31 | |
| | |||
* | refactor(language): module and node declarations | 2024-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 nodes | 2024-01-03 | |
| | | | | | We use a palette-based coloring strategy, where each class and enum gets a color from | ||
* | fix(language): unambigous reference serialization | 2023-12-24 | |
| | |||
* | feat: solution serializer | 2023-12-24 | |
| | |||
* | feat(langauge): validate exists and equals | 2023-11-19 | |
| | |||
* | feat(language): arity validation | 2023-11-19 | |
| | |||
* | feat(language): opposite reference validation | 2023-11-17 | |
| | |||
* | refactor(language): opposite content assist | 2023-11-17 | |
| | | | | Only show references that may plausibly appear in an opposite declaration. | ||
* | feat(language-ide): content assist filtering | 2023-11-17 | |
| | |||
* | feat(language): validate unique names | 2023-11-17 | |
| | |||
* | feat(langugage): detect ambiguous references | 2023-11-17 | |
| | |||
* | build: prepare for Maven publication | 2023-11-17 | |
| | |||
* | chore(build): replce deprecated Gradle API use | 2023-08-31 | |
| | |||
* | refactor: rename invalidNumberOfContainers | 2023-08-29 | |
| | | | | | Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers. | ||
* | refactor(frontent): improve graph drawing | 2023-08-26 | |
| | |||
* | feat: basic semantics mapping and visualization | 2023-08-17 | |
| |