aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Collapse)AuthorAge
...
* 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
|
* 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
|
* 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
|
* refactor(generator): scope overridesLibravatar Kristóf Marussy2023-12-25
|
* feat: command line model generatorLibravatar Kristóf Marussy2023-12-24
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-12-24
|
* fix(language): unambigous reference serializationLibravatar Kristóf Marussy2023-12-24
|
* feat: solution serializerLibravatar Kristóf Marussy2023-12-24
|
* refactor(language): use file extension providerLibravatar Kristóf Marussy2023-12-22
|
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
| | | | | | | Efficiently store cross references even if default ref(*, *): false. Uses propagation rules instead of view queries to reason about type constraints and multiplicity.
* chore: upgrade to Eclipse 2023-12Libravatar Kristóf Marussy2023-12-08
| | | | | | | Updates references to Eclipse in documentation (but IntelliJ is the preferred editor now). Also fixes incompatibilities with the Eclipse compiler.
* chore(deps): Java 21Libravatar Kristóf Marussy2023-12-03
| | | | Also bumps other dependencies.
* fix: lower multiplicity objectiveLibravatar Kristóf Marussy2023-12-01
| | | | We were spuriously counting lower multiplicity errors for non-existent objects.
* feat(langauge): validate exists and equalsLibravatar Kristóf Marussy2023-11-19
|
* feat(language): arity validationLibravatar Kristóf Marussy2023-11-19
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 13:24:44 +0000