aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/test/java/tools
Commit message (Expand)AuthorAge
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
* fix: build failures after integrating generationLibravatar Kristóf Marussy2023-09-11
* fix: strong represenative election algorithmLibravatar Kristóf Marussy2023-08-27
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* fix: abstract type chain eliminationLibravatar Kristóf Marussy2023-08-19
* fix: opposite translation error reportingLibravatar Kristóf Marussy2023-08-17
* fix: containment link translationLibravatar Kristóf Marussy2023-08-17
* fix: concrete supertype translationLibravatar Kristóf Marussy2023-08-13
* feat: metamodel translatorLibravatar Kristóf Marussy2023-08-13
* feat: concrete count in partial modelsLibravatar Kristóf Marussy2023-07-25
* feat: partial interpretation for type hierarchyLibravatar Kristóf Marussy2023-07-20
* feat: multi-object based EQUALS and EXISTSLibravatar Kristóf Marussy2023-07-20
* feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
* refactor: Dnf lifterLibravatar Kristóf Marussy2023-06-29
* feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* refactor: rename PartialInterpretation adapterLibravatar Kristóf Marussy2023-02-25
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 21:03:44 +0000