aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
| |
| * refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
| |
| * fix(frontend): * operator highlightingLibravatar Kristóf Marussy2024-04-07
| | | | | | | | | | Only highlight the * character as a number when it is not used as a multiplication operator.
| * feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
| | | | | | | | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider.
| * feat(language): validate assignment expressionsLibravatar Kristóf Marussy2024-04-07
| |
| * refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
| | | | | | | | Also reorganizes operator names for easier future extension.
| * feat(query): left join for data variablesLibravatar Kristóf Marussy2024-04-07
| |
| * 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.
| * feat: subproject for z3 integrationLibravatar Kristóf Marussy2024-04-07
| |
| * chore(z3): bump to z3 4.12.6Libravatar Kristóf Marussy2024-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 librariesLibravatar Kristóf Marussy2024-04-07
|/
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy2024-04-07
|
* build: multi-platform buildLibravatar Kristóf Marussy2024-04-07
|
* 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): upgrade to frontend-jdk17 8.0.0Libravatar Kristóf Marussy2024-04-05
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
|
* fix(build): missing option in DockerfileLibravatar Kristóf Marussy2024-03-26
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
|
* Merge pull request #56 from kris7t/custom-colorsLibravatar Kristóf Marussy2024-03-22
|\ | | | | feat: custom identifier coloring
| * feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
|/
* refactor(web): improve web app stylingLibravatar Kristóf Marussy2024-02-25
|
* fix(web): Sonar security issueLibravatar Kristóf Marussy2024-02-24
| | | | | See https://sonarcloud.io/organizations/graphs4value/rules?open=java%3AS1989&rule_key=java%3AS1989
* Merge pull request #55 from kris7t/svg-exportLibravatar Kristóf Marussy2024-02-24
|\ | | | | Frontend: file management and svg export
| * 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
|/
* Merge pull request #53 from kris7t/importsLibravatar Kristóf Marussy2024-02-19
|\ | | | | Module and import resolution support
| * docs: update READMELibravatar Kristóf Marussy2024-02-19
| |
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-02-19
| |
| * refactor(language): classpath based library contextLibravatar Kristóf Marussy2024-02-19
| |
| * fix(frontend): module name highlightingLibravatar Kristóf Marussy2024-02-18
| |
| * fix(language): type hash colorsLibravatar Kristóf Marussy2024-02-18
| | | | | | | | Make sure type hashes can be computed with the updated scoping rules.
| * feat(language): import validationLibravatar Kristóf Marussy2024-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 importLibravatar Kristóf Marussy2024-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 importsLibravatar Kristóf Marussy2024-02-11
| |
| * refactor(language): scope shadowingLibravatar Kristóf Marussy2024-02-11
| |
| * refactor(language): simplify default module kindsLibravatar Kristóf Marussy2024-02-11
| | | | | | | | Use a transient attribute instead of an adapter.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 20:34:13 +0000