aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics
Commit message (Collapse)AuthorAge
* 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
| | | | | Also makes model seeds cancellable to reduce server load during semantic analysis.
* fix: nullary model initializationLibravatar Kristóf Marussy2023-08-19
| | | | | Decision trees can only handle relations with 1 level and up, so we use a special case for nullary relations.
* chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
| | | | | Make our modifications more maintainable by editing the source code directly instead of using reflection.
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
|
* fix: more precise new object typesLibravatar Kristóf Marussy2023-08-17
| | | | | A new object should not be an instance of any subclasses. Also, it should be possible cleare a node without any other type.
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
|
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
| | | | | Also simplifies attributes and flags for now, as we don't translate them to abstractions.
* refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
| | | | Shorthad syntax for the most commonly used symbol types.
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | | | | Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification.
* build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
| | | | | | | Also take advantage of precompiled Kotlin scripts to write build scripts in a more straightforward manner through generated accessors. Might increase memory usage of Gradle.
* build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
| | | | | | | Improves IDE support build scripts in IntelliJ. There is no Eclipse IDE support, but Eclipse didn't have support for Groovy either, so there is no degradation of functionality.
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
| | | | Use Adapters to simplify API usage.
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
| | | | | | Prefers sealed non-generic interfaces over wildcard types to avoid confusion about method return types, especially in collections (see SonarQube rule java:S1452).
* 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
| | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models.
* 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-07-04 20:29:13 +0000