aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/language/problem.grammar
Commit message (Collapse)AuthorAge
* 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.