aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* build(deps): bump ip from 2.0.0 to 2.0.1dependabot/npm_and_yarn/ip-2.0.1Libravatar dependabot[bot]2024-02-20
* Merge pull request #53 from kris7t/importsLibravatar Kristóf Marussy2024-02-19
|\
| * 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
| * 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
* Merge pull request #51 from kris7t/color-identifiersLibravatar Kristóf Marussy2024-01-04
|\
| * 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
|/
* Merge pull request #50 from kris7t/generator-roundtripLibravatar Kristóf Marussy2023-12-25
|\
| * 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
* fix: typoLibravatar Kristóf Marussy2023-12-05
* chore(deps): Java 21Libravatar Kristóf Marussy2023-12-03
* fix: lower multiplicity objectiveLibravatar Kristóf Marussy2023-12-01
* Merge pull request #48 from kris7t/validatorLibravatar Kristóf Marussy2023-11-19
|\
| * 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
| * build: silence test-fixtures publication warningLibravatar Kristóf Marussy2023-11-17
| * 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-06 22:40:17 +0000