Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(language): assignment and cast expression | Kristóf Marussy | 2024-04-07 |
| | | | | Also reorganizes operator names for easier future extension. | ||
* | feat(query): left join for data variables | Kristóf Marussy | 2024-04-07 |
| | |||
* | 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. | ||
* | feat: subproject for z3 integration | Kristóf Marussy | 2024-04-07 |
| | |||
* | chore(z3): bump to z3 4.12.6 | Kristóf Marussy | 2024-04-07 |
| | | | | | | | | | | | | | We still have to build Z3 for linux-aarch64, because the official release requires glibc 2.35 (and the corresponding libstdc++), while Amazon Linux 2023 only supports glibc 2.34. Also enabled optimization flags from Amazon Linux 2023 for the aarch64 Z3 build. This tecnically excludes older armv8-a platforms (like Raspberry Pi 4), but most modern SBC (like Raspberry Pi 5) already support armv8.2-a+crypto. At any rate, the need to run Refinery on such paltforms in unlikely. At any rate, the build flags should be supported on Neoverse N1-based cloud providers (including Amazon and Hetzner), as well as Apple M devices (armv8.5-a). | ||
* | build: package Z3 solver native libraries | Kristóf Marussy | 2024-04-07 |
| | |||
* | fix(test): Windows line endings comparison | Kristóf Marussy | 2024-04-07 |
| | |||
* | build: multi-platform build | Kristóf Marussy | 2024-04-07 |
| | |||
* | 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): upgrade to frontend-jdk17 8.0.0 | Kristóf Marussy | 2024-04-05 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-03 |
| | |||
* | fix(build): missing option in Dockerfile | Kristóf Marussy | 2024-03-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-03-26 |
| | |||
* | Merge pull request #56 from kris7t/custom-colors | Kristóf Marussy | 2024-03-22 |
|\ | | | | | feat: custom identifier coloring | ||
| * | feat: custom identifier coloring | Kristóf Marussy | 2024-03-22 |
|/ | |||
* | refactor(web): improve web app styling | Kristóf Marussy | 2024-02-25 |
| | |||
* | fix(web): Sonar security issue | Kristóf Marussy | 2024-02-24 |
| | | | | | See https://sonarcloud.io/organizations/graphs4value/rules?open=java%3AS1989&rule_key=java%3AS1989 | ||
* | Merge pull request #55 from kris7t/svg-export | Kristóf Marussy | 2024-02-24 |
|\ | | | | | Frontend: file management and svg export | ||
| * | 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 |
|/ | |||
* | Merge pull request #53 from kris7t/imports | Kristóf Marussy | 2024-02-19 |
|\ | | | | | Module and import resolution support | ||
| * | docs: update README | Kristóf Marussy | 2024-02-19 |
| | | |||
| * | chore(deps): bump dependencies | Kristóf Marussy | 2024-02-19 |
| | | |||
| * | refactor(language): classpath based library context | Kristóf Marussy | 2024-02-19 |
| | | |||
| * | fix(frontend): module name highlighting | Kristóf Marussy | 2024-02-18 |
| | | |||
| * | fix(language): type hash colors | Kristóf Marussy | 2024-02-18 |
| | | | | | | | | Make sure type hashes can be computed with the updated scoping rules. | ||
| * | feat(language): import validation | Kristóf Marussy | 2024-02-18 |
| | | | | | | | | | | | | | | Validate imports and imported resources. Also fixes a linking error in imported resources by ensuring that imported resources are always fully resolved with all of their derived state. | ||
| * | refactor(language): no fully qualified self import | Kristóf Marussy | 2024-02-18 |
| | | | | | | | | | | | | | | | | Make sure it is impossible to create clashing fully qualified names when renaming a module by forbidding modules from referring to their own elements with fully qualified names. Therefore, serializing a solution will not create clashing fully qualified names (which would prevent serialization from succeeding). | ||
| * | feat(language): filter content assist for imports | Kristóf Marussy | 2024-02-11 |
| | | |||
| * | refactor(language): scope shadowing | Kristóf Marussy | 2024-02-11 |
| | | |||
| * | refactor(language): simplify default module kinds | Kristóf Marussy | 2024-02-11 |
| | | | | | | | | Use a transient attribute instead of an adapter. | ||
| * | feat(language): automatic problem kind inference | Kristóf Marussy | 2024-02-06 |
| | | |||
| * | Revert "refactor: simplify module name inference" | Kristóf Marussy | 2024-02-05 |
| | | | | | | | | This reverts commit c6e70f5a01c877b560d4561f22a830c1ce1c6dbe. | ||
| * | refactor: simplify module name inference | Kristóf Marussy | 2024-02-04 |
| | | | | | | | | | | We never need to infer names for modules not added by import, because importing a problem (i.e., a Resource manually added into the ResourceSet) is not allowed. | ||
| * | feat: filesystem-level import resolution | Kristóf Marussy | 2024-02-04 |
| | | | | | | | | | | Modules without an explicitly declared name get a name automatically inferred from their path. | ||
| * | feat(language): import resolution | Kristóf Marussy | 2024-02-03 |
| | |