aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/xtext
Commit message (Collapse)AuthorAge
* 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(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
* feat(frontend): save in URL fragmentLibravatar Kristóf Marussy2023-09-26
|
* fix(frontend): XState warningLibravatar Kristóf Marussy2023-09-17
| | | | Make sure we do not create conflicting transitions.
* feat: specify random seed for generationLibravatar Kristóf Marussy2023-09-14
|
* fix(frontend): keep live while model generationLibravatar Kristóf Marussy2023-09-13
| | | | | Do not close the connection in a background tab if the model generation is still running, because closing the connection will immediately cancel generation.
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
|
* refactor: server environemntal variablesLibravatar Kristóf Marussy2023-09-04
| | | | | | * Prefix each variable with REFINERY_ * If not public host is specified, allow all origings and compute the WebSocket address on the client from the origin.
* fix(frontend): completion cache invalidationLibravatar Kristóf Marussy2023-08-30
| | | | | | In some cases, especially with an empty editor, trying to map completions over the last changes may result in a RangeError. If unhandled, the error corrupts editor state.
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
|
* feat: dot visualizationLibravatar Kristóf Marussy2023-08-23
|
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
| | | | | Also makes model seeds cancellable to reduce server load during semantic analysis.
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-15
|
* 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.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-26
|
* refactor(frontend): split vite configLibravatar Kristóf Marussy2022-12-11
| | | | | Also introduces tsconfig.shared.json to keep track of source files used both and build time and in the browser.
* 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: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
|
* feat(web): backend URL configurationLibravatar Kristóf Marussy2022-11-10
| | | | | | | | To point the frontend to a backend server, update the config.json file in the website root. The config.json is generated automatically in debug mode and when running from a standalone jar.
* refactor(frontend): improve HMR experienceLibravatar Kristóf Marussy2022-11-05
| | | | | | | | Use a HMR acceptor as in https://github.com/vitejs/vite/issues/10227#issuecomment-1256969751 Also updates frontend tooling to the latest version (yarn now support typescript 4.8.4)
* chore: fix some warningsLibravatar Kristóf Marussy2022-10-03
|
* feat(frontend): check for updates periodicallyLibravatar Kristóf Marussy2022-09-08
|
* feat(frontend): handle page hide eventsLibravatar Kristóf Marussy2022-09-06
| | | | | | | | Integrate better with the page lifecycle state machine, see https://developer.chrome.com/blog/page-lifecycle-api/ Also makes disconnected notifications less noisy, since they may occur more frequently now (due to a frozen page being resumed).
* feat(frontend): show connection statusLibravatar Kristóf Marussy2022-09-06
|
* feat(frontend): XState statechartsLibravatar Kristóf Marussy2022-09-06
| | | | | | | Expressing logic in statecharts for complex stateful behaviours should improve maintainability We use @xstate/cli to statically analyze statcharts before typechecking
* refactor(frontend): custom mutex implementationLibravatar Kristóf Marussy2022-08-26
| | | | Lets us track priorities of tasks without cancellation.
* refactor(frontend): simplify UpdateService furtherLibravatar Kristóf Marussy2022-08-26
|
* refactor(frontend): extract xtextStateId trackingLibravatar Kristóf Marussy2022-08-25
|
* fix(frontend): UpdateService synchronizationLibravatar Kristóf Marussy2022-08-25
| | | | Also bumps frontend dependencies
* refactor(frontend): xtext update improvementsLibravatar Kristóf Marussy2022-08-25
|
* refactor(frontend): move from Webpack to ViteLibravatar Kristóf Marussy2022-08-12
| | | | Also overhaulds the building and linting for frontend assets.
* 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
* chore: bump dependenciesLibravatar Kristóf Marussy2022-07-27
|
* build: separate module for frontendLibravatar Kristóf Marussy2021-12-14
This allows us to simplify the webpack configuration and the gradle build scripts.