aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics
Commit message (Expand)AuthorAge
* feat: partial referencesLibravatar Kristóf Marussy2024-06-01
* fix(semantics): negative quantification in rulesLibravatar Kristóf Marussy2024-05-26
* feat(language): node constants in rule actionsLibravatar Kristóf Marussy2024-05-26
* feat: rule translationLibravatar Kristóf Marussy2024-05-26
* refactor(language): merge Assertion and AssertionActionLibravatar Kristóf Marussy2024-05-26
* feat: rule parsingLibravatar Kristóf Marussy2024-05-26
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy2024-04-07
* refactor(language): no fully qualified self importLibravatar Kristóf Marussy2024-02-18
* feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
* 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
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* fix(build): avoid cyclic dependencyLibravatar Kristóf Marussy2024-01-31
* refactor: matching node names in CLI and webLibravatar Kristóf Marussy2024-01-01
* feat: solution serializerLibravatar Kristóf Marussy2023-12-24
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* feat(language): opposite reference validationLibravatar Kristóf Marussy2023-11-17
* feat: predicates as reference typesLibravatar Kristóf Marussy2023-11-17
* refactor: smenatics and facadesLibravatar Kristóf Marussy2023-11-03
* refactor(langauge-web): use generator facadesLibravatar Kristóf Marussy2023-11-03
* feat: model generator facadeLibravatar Kristóf Marussy2023-11-03
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 03:49:12 +0000