aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/language/problem.grammar
Commit message (Collapse)AuthorAge
* fix(frontend): module name highlightingLibravatar Kristóf Marussy2024-02-18
|
* 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.
* fix(frontend): contains contextual keywordLibravatar Kristóf Marussy2023-10-16
| | | | | | | Make sure contains is parsed as a contextual keyword whenever possible. The existing cut operator wasn't sufficient for this, so we also add dynamic precedence to the grammar rule.
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | | | | Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification.
* fix(frontend): content assist error recoveryLibravatar Kristóf Marussy2022-12-09
|
* fix(frontend): mobx 6.7.0 typingLibravatar Kristóf Marussy2022-11-22
| | | | | | | Also bumps some dependencies and updates tsconfig.json The added workarounds should be remove once https://github.com/mobxjs/mobx/issues/3582 is resolved.
* 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
| | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models.
* refactor(language): disable rule parsingLibravatar Kristóf Marussy2022-10-04
| | | | Rules have too complex semantics to implement in the first prototype.
* refactor(language): clarify containment hierarchyLibravatar Kristóf Marussy2022-09-14
|
* fix(frontend): Lezer bracket matchingLibravatar Kristóf Marussy2022-09-06
|
* refactor(frontend): move from Webpack to ViteLibravatar Kristóf Marussy2022-08-12
| | | | Also overhaulds the building and linting for frontend assets.
* feat(language): modal parameter typesLibravatar Kristóf Marussy2022-08-11
|
* refactor(language): simplify count notationLibravatar Kristóf Marussy2022-08-10
| | | | Also change refinement operator based on feedback from colleagues
* feat(language): add support for count operatorLibravatar Kristóf Marussy2022-08-10
|
* refactor: direct predicatesLibravatar Kristóf Marussy2022-08-01
| | | | | | * Remove the direct keyword because it can be inferred * Use may/must/current instead of value literals * Transformation rule changes
* build: separate module for frontendLibravatar Kristóf Marussy2021-12-14
This allows us to simplify the webpack configuration and the gradle build scripts.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-07 12:15:37 +0000