Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | | |||
| * | 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. | ||
| * | refactor: serialize solutions as modules | Kristóf Marussy | 2024-01-31 |
| | | |||
| * | 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. | ||
| * | fix(build): avoid cyclic dependency | Kristóf Marussy | 2024-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 dependencies | Kristóf Marussy | 2024-01-30 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-01-07 |
| | |||
* | Merge pull request #51 from kris7t/color-identifiers | Kristóf Marussy | 2024-01-04 |
|\ | | | | | Color identifiers | ||
| * | 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 | ||
| * | refactor: matching node names in CLI and web | Kristóf Marussy | 2024-01-01 |
|/ | |||
* | Merge pull request #50 from kris7t/generator-roundtrip | Kristóf Marussy | 2023-12-25 |
|\ | | | | | Round-trip model serialization and command line application | ||
| * | refactor(generator): scope overrides | Kristóf Marussy | 2023-12-25 |
| | | |||
| * | feat: command line model generator | Kristóf Marussy | 2023-12-24 |
| | | |||
| * | chore(deps): bump dependencies | Kristóf Marussy | 2023-12-24 |
| | | |||
| * | fix(language): unambigous reference serialization | Kristóf Marussy | 2023-12-24 |
| | | |||
| * | feat: solution serializer | Kristóf Marussy | 2023-12-24 |
| | | |||
| * | refactor(language): use file extension provider | Kristóf Marussy | 2023-12-22 |
| | | |||
| * | feat: state-based store for cross references | Kristóf Marussy | 2023-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-12 | Kristóf Marussy | 2023-12-08 |
| | | | | | | | Updates references to Eclipse in documentation (but IntelliJ is the preferred editor now). Also fixes incompatibilities with the Eclipse compiler. | ||
* | fix: typo | Kristóf Marussy | 2023-12-05 |
| | |||
* | chore(deps): Java 21 | Kristóf Marussy | 2023-12-03 |
| | | | | Also bumps other dependencies. | ||
* | fix: lower multiplicity objective | Kristóf Marussy | 2023-12-01 |
| | | | | We were spuriously counting lower multiplicity errors for non-existent objects. | ||
* | Merge pull request #48 from kris7t/validator | Kristóf Marussy | 2023-11-19 |
|\ | | | | | Improve content assist and validator | ||
| * | feat(langauge): validate exists and equals | Kristóf Marussy | 2023-11-19 |
| | | |||
| * | feat(language): arity validation | Kristóf Marussy | 2023-11-19 |
| | |