aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Expand)AuthorAge
...
* 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
* refactor(frontend): cleaner SVG exportLibravatar Kristóf Marussy2024-02-23
* 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
* feat(language): import validationLibravatar Kristóf Marussy2024-02-18
* refactor(language): no fully qualified self importLibravatar Kristóf Marussy2024-02-18
* 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
* feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
* Revert "refactor: simplify module name inference"Libravatar Kristóf Marussy2024-02-05
* refactor: simplify module name inferenceLibravatar Kristóf Marussy2024-02-04
* feat: filesystem-level import resolutionLibravatar Kristóf Marussy2024-02-04
* feat(language): import resolutionLibravatar Kristóf Marussy2024-02-03
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
* 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
* fix(build): avoid cyclic dependencyLibravatar Kristóf Marussy2024-01-31
* 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
* 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
* chore: upgrade to Eclipse 2023-12Libravatar Kristóf Marussy2023-12-08
* chore(deps): Java 21Libravatar Kristóf Marussy2023-12-03
* fix: lower multiplicity objectiveLibravatar Kristóf Marussy2023-12-01
* feat(langauge): validate exists and equalsLibravatar Kristóf Marussy2023-11-19
* feat(language): arity validationLibravatar Kristóf Marussy2023-11-19
* fix: upper and lower scopesLibravatar Kristóf Marussy2023-11-19
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-11-19
* fix: contains assertionsLibravatar Kristóf Marussy2023-11-17
* feat(language): opposite reference validationLibravatar Kristóf Marussy2023-11-17
* fix: scope upper boundsLibravatar Kristóf Marussy2023-11-17