Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | chore(deps): bump dependencies | 2023-10-19 | |
| | |||
* | fix(frontend): contains contextual keyword | 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 | 2023-09-26 | |
| | |||
* | fix(frontend): typo in EditorTheme | 2023-09-19 | |
| | |||
* | fix(frontend): XState warning | 2023-09-17 | |
| | | | | Make sure we do not create conflicting transitions. | ||
* | fix(frontend): compilation on Windows | 2023-09-17 | |
| | |||
* | chore(deps): bump frontend dependencies | 2023-09-17 | |
| | |||
* | build: fix Sonar quality gate issues | 2023-09-16 | |
| | | | | | Removes VIATRA sources from coverage anaylsis, since those files are maintained by the VIATRA project. | ||
* | feat: specify random seed for generation | 2023-09-14 | |
| | |||
* | fix(frontend): keep live while model generation | 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 | 2023-09-13 | |
| | | | | The default multiplicity is [0..1]. | ||
* | chore(deps): bump dependencies | 2023-09-13 | |
| | |||
* | refactor(frontend): generation appearance fixes | 2023-09-13 | |
| | | | | | * Allow scrolling the tab bar. * Less prominent error text. | ||
* | refactor(frontend): hide non-existent nodes | 2023-09-12 | |
| | |||
* | feat: connect model generator to UI | 2023-09-12 | |
| | |||
* | fix(frontend): GraphArea scroll | 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 | 2023-09-05 | |
| | |||
* | refactor: server environemntal variables | 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 | 2023-09-04 | |
| | | | | Also show scopes unconditionally if enabled. | ||
* | feat(frontend): hide object scopes by default | 2023-09-03 | |
| | |||
* | chore: prefer Prolog-style comments | 2023-09-03 | |
| | |||
* | feat: scope propagator in language | 2023-09-03 | |
| | |||
* | chore(build): replce deprecated Gradle API use | 2023-08-31 | |
| | |||
* | chore(deps): bump dependencies | 2023-08-31 | |
| | |||
* | chore(deps): downgrade to @mui/x-data-grid 6.10.0 | 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 | 2023-08-31 | |
| | |||
* | refactor(frontend): compact relation table | 2023-08-31 | |
| | |||
* | refactor(frontend): pane button theme | 2023-08-31 | |
| | |||
* | feat(frontend): implement grid view | 2023-08-31 | |
| | |||
* | feat(frontend): window pane switcher | 2023-08-30 | |
| | |||
* | refactor(frontend): filter dialog formatting | 2023-08-30 | |
| | |||
* | chore(deps): bump frontend dependencies | 2023-08-30 | |
| | | | | Also downgrade @types/node to match the running Node version. | ||
* | fix(frontend): completion cache invalidation | 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 | 2023-08-30 | |
| | |||
* | feat(frontend): projection dialog | 2023-08-30 | |
| | |||
* | refactor(frontend): containment arrow size | 2023-08-29 | |
| | |||
* | chore(deps): bump frontend dependencies | 2023-08-26 | |
| | |||
* | refactor(frontent): improve graph drawing | 2023-08-26 | |
| | |||
* | feat(frontend): automatic fit zoom | 2023-08-24 | |
| | |||
* | chore: clarify permissing licensing | 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 | 2023-08-24 | |
| | |||
* | refactor(web): move d3-zoom patch into repo | 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 | 2023-08-23 | |
| | |||
* | refactor: d3 zoom centering | 2023-08-23 | |
| | | | | Uses patch from https://github.com/d3/d3-zoom/pull/212 | ||
* | feat: dot visualization | 2023-08-23 | |
| | |||
* | feat: improve semantics error reporting | 2023-08-20 | |
| | | | | | Also makes model seeds cancellable to reduce server load during semantic analysis. | ||
* | feat: predicate semantics | 2023-08-18 | |
| | |||
* | fix: opposite translation error reporting | 2023-08-17 | |
| | |||
* | feat: basic semantics mapping and visualization | 2023-08-17 | |
| | |||
* | chore(deps): bump dependencies | 2023-08-15 | |
| |