aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)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
| | | | | | | | | | | | Bumps [ip](https://github.com/indutny/node-ip) from 2.0.0 to 2.0.1. - [Commits](https://github.com/indutny/node-ip/compare/v2.0.0...v2.0.1) --- updated-dependencies: - dependency-name: ip dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
* 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
| * 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.
* fix: typoLibravatar Kristóf Marussy2023-12-05
|
* 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.
* Merge pull request #48 from kris7t/validatorLibravatar Kristóf Marussy2023-11-19
|\ | | | | Improve content assist and validator
| * 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
| | | | | | | | | | | | | | | | | | Make sure the scope bound guides the best-first search and is always obeyed even if it can't be fully represented using the scoped partial model abstraction. For representable bounds (classes and unary predicate that are always fully knwon to be false or true in the initial model) this leads to duplicated computations.
| * 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.1) at 2024-05-28 10:19:54 +0000