Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat(web): color identifiers and nodes | Kristóf Marussy | 2024-01-03 |
| | | | | | We use a palette-based coloring strategy, where each class and enum gets a color from | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-12-24 |
| | |||
* | chore(deps): Java 21 | Kristóf Marussy | 2023-12-03 |
| | | | | Also bumps other dependencies. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-11-19 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-10-19 |
| | |||
* | fix(frontend): contains contextual keyword | Kristóf Marussy | 2023-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. | ||
* | feat(frontend): save in URL fragment | Kristóf Marussy | 2023-09-26 |
| | |||
* | fix(frontend): typo in EditorTheme | Kristóf Marussy | 2023-09-19 |
| | |||
* | fix(frontend): XState warning | Kristóf Marussy | 2023-09-17 |
| | | | | Make sure we do not create conflicting transitions. | ||
* | fix(frontend): compilation on Windows | Kristóf Marussy | 2023-09-17 |
| | |||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2023-09-17 |
| | |||
* | build: fix Sonar quality gate issues | Kristóf Marussy | 2023-09-16 |
| | | | | | Removes VIATRA sources from coverage anaylsis, since those files are maintained by the VIATRA project. | ||
* | feat: specify random seed for generation | Kristóf Marussy | 2023-09-14 |
| | |||
* | fix(frontend): keep live while model generation | Kristóf Marussy | 2023-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. | ||
* | fix: example Statechart specification | Kristóf Marussy | 2023-09-13 |
| | | | | The default multiplicity is [0..1]. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-09-13 |
| | |||
* | refactor(frontend): generation appearance fixes | Kristóf Marussy | 2023-09-13 |
| | | | | | * Allow scrolling the tab bar. * Less prominent error text. | ||
* | refactor(frontend): hide non-existent nodes | Kristóf Marussy | 2023-09-12 |
| | |||
* | feat: connect model generator to UI | Kristóf Marussy | 2023-09-12 |
| | |||
* | fix(frontend): GraphArea scroll | Kristóf Marussy | 2023-09-05 |
| | | | | | When the VisibilityDialog is not open, it should be unmounted to allow the VisibilityPanel to become small and not cover the GraphArea below. | ||
* | refactor: disable all animations for large graphs | Kristóf Marussy | 2023-09-05 |
| | |||
* | refactor: server environemntal variables | Kristóf Marussy | 2023-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. | ||
* | refactor(frontend): graph visualizer performance | Kristóf Marussy | 2023-09-04 |
| | | | | Also show scopes unconditionally if enabled. | ||
* | feat(frontend): hide object scopes by default | Kristóf Marussy | 2023-09-03 |
| | |||
* | chore: prefer Prolog-style comments | Kristóf Marussy | 2023-09-03 |
| | |||
* | feat: scope propagator in language | Kristóf Marussy | 2023-09-03 |
| | |||
* | chore(build): replce deprecated Gradle API use | Kristóf Marussy | 2023-08-31 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-08-31 |
| | |||
* | chore(deps): downgrade to @mui/x-data-grid 6.10.0 | Kristóf Marussy | 2023-08-31 |
| | | | | | | | Versions 6.10.1 use eval, which causes problems with CSP and minification: https://github.com/mui/mui-x/issues/9771 https://github.com/mui/mui-x/issues/10056 | ||
* | refactor(frontend): secondary pane switch shortcut | Kristóf Marussy | 2023-08-31 |
| | |||
* | refactor(frontend): compact relation table | Kristóf Marussy | 2023-08-31 |
| | |||
* | refactor(frontend): pane button theme | Kristóf Marussy | 2023-08-31 |
| | |||
* | feat(frontend): implement grid view | Kristóf Marussy | 2023-08-31 |
| | |||
* | feat(frontend): window pane switcher | Kristóf Marussy | 2023-08-30 |
| | |||
* | refactor(frontend): filter dialog formatting | Kristóf Marussy | 2023-08-30 |
| | |||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2023-08-30 |
| | | | | Also downgrade @types/node to match the running Node version. | ||
* | fix(frontend): completion cache invalidation | Kristóf Marussy | 2023-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. | ||
* | feat(frontend): hide isolated nodes | Kristóf Marussy | 2023-08-30 |
| | |||
* | feat(frontend): projection dialog | Kristóf Marussy | 2023-08-30 |
| | |||
* | refactor(frontend): containment arrow size | Kristóf Marussy | 2023-08-29 |
| | |||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2023-08-26 |
| | |||
* | refactor(frontent): improve graph drawing | Kristóf Marussy | 2023-08-26 |
| | |||
* | feat(frontend): automatic fit zoom | Kristóf Marussy | 2023-08-24 |
| | |||
* | chore: clarify permissing licensing | Kristóf Marussy | 2023-08-24 |
| | | | | | | | | | | | | For permissive licenses like MIT and BSD, OR EPL doesn't make sense, because the copyright original permission notice must be retained at all times. For code simply copied with minimal modifications that are unrelated to Refinery, we can just use the plain MIT license or BSD-3-clause license. For code with complex modifications related to Refinery, we can instead use the MIT AND EPL-2.0 SPDX expression, which forces downstream users to retain the original MIT notices as required by the MIT license, but also extends Refinery's copyleft to our modifications. | ||
* | refactor(web): clean up graphviz visualization | Kristóf Marussy | 2023-08-24 |
| | |||
* | refactor(web): move d3-zoom patch into repo | Kristóf Marussy | 2023-08-23 |
| | | | | | Instead of referencing an external pull request, move the patch into yarn/.patches and update it to handle pinch-to-zoom. | ||
* | feat(web): zoom controls | Kristóf Marussy | 2023-08-23 |
| | |||
* | refactor: d3 zoom centering | Kristóf Marussy | 2023-08-23 |
| | | | | Uses patch from https://github.com/d3/d3-zoom/pull/212 | ||
* | feat: dot visualization | Kristóf Marussy | 2023-08-23 |
| | |||
* | feat: improve semantics error reporting | Kristóf Marussy | 2023-08-20 |
| | | | | | Also makes model seeds cancellable to reduce server load during semantic analysis. |