aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend
Commit message (Collapse)AuthorAge
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
| | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider.
* refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
| | | | Also reorganizes operator names for easier future extension.
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
| | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
|
* build: move Javascript config to top levelLibravatar Kristóf Marussy2024-04-07
| | | | | We need this to support multiple Javascript subprojects (e.g., a frontend and a documentation website).
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
|
* feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
|
* refactor(web): improve web app stylingLibravatar Kristóf Marussy2024-02-25
|
* chore(deps); bump dependenciesLibravatar Kristóf Marussy2024-02-24
|
* feat(web): file open and saveLibravatar Kristóf Marussy2024-02-24
| | | | In-place saving is only supported in Chromium.
* fix(web): CSP for SVG rasterizationLibravatar Kristóf Marussy2024-02-24
| | | | | | | We have to allow img-src blob: to be able to rasterize SVG files by loading their blobs as object URLs into <img> objects. Also fixes font-style for PNG export.
* refactor(frontend): improve save dialog labelLibravatar Kristóf Marussy2024-02-24
|
* build(web): remove extraneous console outputLibravatar Kristóf Marussy2024-02-23
|
* build(web): include embedded font assets in service workerLibravatar Kristóf Marussy2024-02-23
|
* feat(web): pdf exportLibravatar Kristóf Marussy2024-02-23
|
* refactor(web): use filesystem access API when availableLibravatar Kristóf Marussy2024-02-23
|
* fix(frontend): top button stylingLibravatar Kristóf Marussy2024-02-23
|
* feat(frontend): graph export formal selectorLibravatar Kristóf Marussy2024-02-23
|
* feat(frontend): add top bar logoLibravatar Kristóf Marussy2024-02-23
|
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2024-02-23
|
* feat(frontend): optional SVG font embeddingLibravatar Kristóf Marussy2024-02-23
| | | | | | | Unfortunately, Pango does not support user-defined fonts, so the embedded font won't work in Inkscape (see https://wiki.inkscape.org/wiki/@font-face_Support) but it can be used in <img> tags on the web (see https://vecta.io/blog/how-to-use-fonts-in-svg).
* refactor(frontend): cleaner SVG exportLibravatar Kristóf Marussy2024-02-23
| | | | | | | | | Make sure svg can process the resulting SVG without changing visuals. In particular, we must not use specific stroke/fill values as CSS selectors, because svgo may change them into hex codes. Instead, we annotate all diagram elements with class names.
* feat(web): SVG exportLibravatar Kristóf Marussy2024-02-22
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-02-19
|
* fix(frontend): module name highlightingLibravatar Kristóf Marussy2024-02-18
|
* 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(language): validate module isolationLibravatar Kristóf Marussy2024-01-31
|
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
| | | | | | | | * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-30
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-07
|
* feat(web): toggle identifier coloringLibravatar Kristóf Marussy2024-01-03
|
* refactor(web): subtler error predicate highlightLibravatar Kristóf Marussy2024-01-03
|
* 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
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-12-24
|
* chore(deps): Java 21Libravatar Kristóf Marussy2023-12-03
| | | | Also bumps other dependencies.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-11-19
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-10-19
|
* fix(frontend): contains contextual keywordLibravatar Kristóf Marussy2023-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 fragmentLibravatar Kristóf Marussy2023-09-26
|
* fix(frontend): typo in EditorThemeLibravatar Kristóf Marussy2023-09-19
|
* fix(frontend): XState warningLibravatar Kristóf Marussy2023-09-17
| | | | Make sure we do not create conflicting transitions.
* fix(frontend): compilation on WindowsLibravatar Kristóf Marussy2023-09-17
|
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-09-17
|
* build: fix Sonar quality gate issuesLibravatar Kristóf Marussy2023-09-16
| | | | | Removes VIATRA sources from coverage anaylsis, since those files are maintained by the VIATRA project.
* 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.
* fix: example Statechart specificationLibravatar Kristóf Marussy2023-09-13
| | | | The default multiplicity is [0..1].
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-09-13
|
* refactor(frontend): generation appearance fixesLibravatar Kristóf Marussy2023-09-13
| | | | | * Allow scrolling the tab bar. * Less prominent error text.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 15:46:40 +0000