aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/generator
Commit message (Collapse)AuthorAge
* refactor: improve propagation traceabilityLibravatar Kristóf Marussy2024-06-28
|
* refactor: show semantics even if propagation failsLibravatar Kristóf Marussy2024-06-28
|
* refactor(generator): spellingLibravatar Kristóf Marussy2024-06-28
|
* refactor(store): NeighborhoodCalculator APILibravatar Kristóf Marussy2024-06-28
| | | | | * Use US English spelling consistently * Avoid Eclipse Collections types on API
* build: add Maven metadataLibravatar Kristóf Marussy2024-06-23
|
* refactor(dse): expose state coder parametersLibravatar Kristóf Marussy2024-06-20
|
* feat: generate multiple solutionsLibravatar Kristóf Marussy2024-06-01
| | | | | Switch to partial interpretation based neighborhood calculation when multiple models are request to avoid returning isomorphic models.
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
| | | | Require all abstract domain elements to implement the AbstractValue interface.
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
| | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider.
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy2024-04-07
|
* 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.
* feat: filesystem-level import resolutionLibravatar Kristóf Marussy2024-02-04
| | | | | Modules without an explicitly declared name get a name automatically inferred from their path.
* refactor(generator): scope overridesLibravatar Kristóf Marussy2023-12-25
|
* feat: command line model generatorLibravatar Kristóf Marussy2023-12-24
|
* refactor(language): use file extension providerLibravatar Kristóf Marussy2023-12-22
|
* refactor: smenatics and facadesLibravatar Kristóf Marussy2023-11-03
| | | | | Also moves model metadata into language-web, since we only use it on the frontent.
* refactor(langauge-web): use generator facadesLibravatar Kristóf Marussy2023-11-03
|
* feat: model semantics facadeLibravatar Kristóf Marussy2023-11-03
|
* feat: model generator facadeLibravatar Kristóf Marussy2023-11-03
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 03:26:07 +0000