aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
* 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.
| * feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
| |
| * Revert "refactor: simplify module name inference"Libravatar Kristóf Marussy2024-02-05
| | | | | | | | This reverts commit c6e70f5a01c877b560d4561f22a830c1ce1c6dbe.
| * refactor: simplify module name inferenceLibravatar Kristóf Marussy2024-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 resolutionLibravatar Kristóf Marussy2024-02-04
| | | | | | | | | | Modules without an explicitly declared name get a name automatically inferred from their path.
| * feat(language): import resolutionLibravatar Kristóf Marussy2024-02-03
| |
| * 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.
| * refactor: serialize solutions as modulesLibravatar Kristóf Marussy2024-01-31
| |
| * 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.
| * fix(build): avoid cyclic dependencyLibravatar Kristóf Marussy2024-01-31
|/ | | | | | IntelliJ can handle dependencies between test configurations going in the reverse direction compared to dependencies between main configurations, but Eclipse can't. Manually copy some code over to break the reverse dependency.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-30
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-07
|
* Merge pull request #51 from kris7t/color-identifiersLibravatar Kristóf Marussy2024-01-04
|\ | | | | Color identifiers
| * 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
| * refactor: matching node names in CLI and webLibravatar Kristóf Marussy2024-01-01
|/
* Merge pull request #50 from kris7t/generator-roundtripLibravatar Kristóf Marussy2023-12-25
|\ | | | | Round-trip model serialization and command line application
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 13:44:34 +0000