aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/generator
Commit message (Expand)AuthorAge
* refactor(semantics): remove shadow predicate interpretations during generationLibravatar Kristóf Marussy2024-08-02
* test(semantics): run both with and without non-existing objectsLibravatar Kristóf Marussy2024-08-02
* fix(reasoning): undirected reference refinementLibravatar Kristóf Marussy2024-08-02
* refactor(reasoning): propagation in refinerLibravatar Kristóf Marussy2024-07-30
* test(semantics): add integration testLibravatar Kristóf Marussy2024-07-26
* test(language): add @InjectWithRefinery annotationLibravatar Kristóf Marussy2024-07-26
* test: filesystem-based semantics test loadingLibravatar Kristóf Marussy2024-07-26
* test: ModelSemantics test frameworkLibravatar Kristóf Marussy2024-07-26
* docs: add programming guideLibravatar Kristóf Marussy2024-07-17
* feat: generator facade timeout and non-existent objectsLibravatar Kristóf Marussy2024-07-10
* build: add Gradle plugin for downstream usersLibravatar Kristóf Marussy2024-07-09
* refactor: improve propagation rule diagnosticsLibravatar Kristóf Marussy2024-06-28
* 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
* 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
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy2024-04-07
* feat(language): import validationLibravatar Kristóf Marussy2024-02-18
* feat: filesystem-level import resolutionLibravatar Kristóf Marussy2024-02-04
* 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
* 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-70-g09d2 (git 2.46.0) at 2024-09-19 23:56:41 +0000