Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | docs: basic theme and structure | Kristóf Marussy | 2024-04-09 |
| | |||
* | docs: add Docusaurus website | Kristóf Marussy | 2024-04-08 |
| | | | | Also refactor Yarn buildscripts. | ||
* | fix(frontend): * operator highlighting | Kristóf Marussy | 2024-04-07 |
| | | | | | Only highlight the * character as a number when it is not used as a multiplication operator. | ||
* | feat(language): type inference | Kristóf Marussy | 2024-04-07 |
| | | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider. | ||
* | refactor(language): assignment and cast expression | Kristóf Marussy | 2024-04-07 |
| | | | | Also reorganizes operator names for easier future extension. | ||
* | feat(language): datatype declarations | Kristóf Marussy | 2024-04-07 |
| | | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-07 |
| | |||
* | build: move Javascript config to top level | Kristóf Marussy | 2024-04-07 |
| | | | | | We need this to support multiple Javascript subprojects (e.g., a frontend and a documentation website). | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-03 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-03-26 |
| | |||
* | feat: custom identifier coloring | Kristóf Marussy | 2024-03-22 |
| | |||
* | refactor(web): improve web app styling | Kristóf Marussy | 2024-02-25 |
| | |||
* | chore(deps); bump dependencies | Kristóf Marussy | 2024-02-24 |
| | |||
* | feat(web): file open and save | Kristóf Marussy | 2024-02-24 |
| | | | | In-place saving is only supported in Chromium. | ||
* | fix(web): CSP for SVG rasterization | Kristóf Marussy | 2024-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 label | Kristóf Marussy | 2024-02-24 |
| | |||
* | build(web): remove extraneous console output | Kristóf Marussy | 2024-02-23 |
| | |||
* | build(web): include embedded font assets in service worker | Kristóf Marussy | 2024-02-23 |
| | |||
* | feat(web): pdf export | Kristóf Marussy | 2024-02-23 |
| | |||
* | refactor(web): use filesystem access API when available | Kristóf Marussy | 2024-02-23 |
| | |||
* | fix(frontend): top button styling | Kristóf Marussy | 2024-02-23 |
| | |||
* | feat(frontend): graph export formal selector | Kristóf Marussy | 2024-02-23 |
| | |||
* | feat(frontend): add top bar logo | Kristóf Marussy | 2024-02-23 |
| | |||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2024-02-23 |
| | |||
* | feat(frontend): optional SVG font embedding | Kristóf Marussy | 2024-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 export | Kristóf Marussy | 2024-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 export | Kristóf Marussy | 2024-02-22 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-02-19 |
| | |||
* | fix(frontend): module name highlighting | Kristóf Marussy | 2024-02-18 |
| | |||
* | refactor(language): name disambiguation | Kristóf Marussy | 2024-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 isolation | Kristóf Marussy | 2024-01-31 |
| | |||
* | refactor(language): module and node declarations | Kristóf Marussy | 2024-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 dependencies | Kristóf Marussy | 2024-01-30 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-01-07 |
| | |||
* | feat(web): toggle identifier coloring | Kristóf Marussy | 2024-01-03 |
| | |||
* | refactor(web): subtler error predicate highlight | Kristóf Marussy | 2024-01-03 |
| | |||
* | 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. |