Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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. | |||
* | feat(frontend): add links to top bar | Kristóf Marussy | 2022-12-21 | |
| | ||||
* | refactor(frontend): split vite config | Kristóf Marussy | 2022-12-11 | |
| | | | | | Also introduces tsconfig.shared.json to keep track of source files used both and build time and in the browser. | |||
* | refactor(frontend): lazy load XtextClient | Kristóf Marussy | 2022-12-11 | |
| | | | | | Improve time to a usable editor by loading the xtext client lazily. The already existing delay to connect masks the delay of loading. | |||
* | refactor(frontend): theme improvements | Kristóf Marussy | 2022-12-09 | |
| | ||||
* | refactor(frontend): scrollbar improvements | Kristóf Marussy | 2022-12-09 | |
| | ||||
* | feat(frontend): dev mode badge | Kristóf Marussy | 2022-12-09 | |
| | | | | Thanks @marci543 | |||
* | fix(frontend): reduce Android rendering errors | Kristóf Marussy | 2022-12-09 | |
| | ||||
* | fix(frontend): content assist error recovery | Kristóf Marussy | 2022-12-09 | |
| | ||||
* | feat(frontend): scroll beyond last line in editor | Kristóf Marussy | 2022-12-09 | |
| | | | | Mimics the polular behavior from Codium. |