aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics
Commit message (Expand)AuthorAge
* refactor(semantics): simple name creationLibravatar Kristóf Marussy2023-10-15
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
* fix: hide new node names in generated modelsLibravatar Kristóf Marussy2023-09-13
* fix: SVG clipping path in FirefoxLibravatar Kristóf Marussy2023-09-12
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
* fix: VIATRA projection indexer errorLibravatar Kristóf Marussy2023-09-10
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* build: runtimeOnly Eclipse Collections if posibleLibravatar Kristóf Marussy2023-09-03
* refactor: rename invalidNumberOfContainersLibravatar Kristóf Marussy2023-08-29
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* feat(frontend): automatic fit zoomLibravatar Kristóf Marussy2023-08-24
* fix: predicate value translationLibravatar Kristóf Marussy2023-08-21
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* fix: nullary model initializationLibravatar Kristóf Marussy2023-08-19
* chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
* fix: more precise new object typesLibravatar Kristóf Marussy2023-08-17
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
* refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
* build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
* refactor(language): simplify syntaxLibravatar Kristóf Marussy2022-11-22
* refactor: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
* feat(store): DataRepresentation reflective typeLibravatar Kristóf Marussy2022-11-10
* refactor: DNF atomsLibravatar Kristóf Marussy2022-11-05
* feat: data structure for default assertionsLibravatar Kristóf Marussy2022-10-03
* refactor: tuples in QueryableModelLibravatar Kristóf Marussy2022-10-03
* feat: data structure for assertion mergingLibravatar Kristóf Marussy2022-10-03
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 08:38:17 +0000