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-11-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. | ||
* | 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]. | ||
* | 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 |
| | |||
* | 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 |
| | |||
* | 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 |
| | |||
* | 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. | ||
* | feat: predicate semantics | Kristóf Marussy | 2023-08-18 |
| | |||
* | fix: opposite translation error reporting | Kristóf Marussy | 2023-08-17 |
| | |||
* | feat: basic semantics mapping and visualization | Kristóf Marussy | 2023-08-17 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-08-15 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-06-18 |
| | |||
* | fix(web): editor cursor styling | Kristóf Marussy | 2023-04-26 |
| | | | | | Temporarily remove custom scrollbar and indentation styling, because they interferred with cursor visibility. | ||
* | chore: add copyright headers | Kristóf Marussy | 2023-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 dependencies | Kristóf Marussy | 2023-03-31 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-02-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-01-28 |
| | |||
* | fix(frontend): do not scroll initially | Kristóf Marussy | 2022-12-21 |
| | | | | | Make sure the CodeMirror DOM is fully ready before inserting a spacer element for overscroll behavior. |