aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-query-viatra
Commit message (Expand)AuthorAge
* refactor: rename RelationView to SymbolViewLibravatar Kristóf Marussy2023-04-15
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
* build: always prefer slf4j instead of log4j 1.xLibravatar Kristóf Marussy2023-04-08
* build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
* refactor: remove TupleLikeLibravatar Kristóf Marussy2023-04-07
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
* refactor: use Cursor in query result setsLibravatar Kristóf Marussy2023-03-01
* refactor: more direct access to VIATRA result setLibravatar Kristóf Marussy2023-03-01
* feat: Dnf reduction and structural equalityLibravatar Kristóf Marussy2023-02-24
* refactor: split query and partial from storeLibravatar Kristóf Marussy2023-02-20
* feat: PartialInterpretation representationsLibravatar Kristóf Marussy2023-02-17
* refactor: EDSL for DNF literalsLibravatar Kristóf Marussy2023-02-09
* refactor: Atom -> Literal naming conventionLibravatar Kristóf Marussy2023-02-09
* feat: track uncommitted Model changesLibravatar Kristóf Marussy2023-02-02
* feat: track ModelQuery pending changesLibravatar Kristóf Marussy2023-02-02
* feat: model query functional dependenciesLibravatar Kristóf Marussy2023-02-02
* refactor: VIATRA adapter fixesLibravatar Kristóf Marussy2023-02-01
* feat: negative and transitive RelationViewAtomLibravatar Kristóf Marussy2023-01-29
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
* refactor(store): remove CountPolarityLibravatar Kristóf Marussy2022-12-09
* feat: add cardinality interval abstractionLibravatar Kristóf Marussy2022-12-09
* feat(store): DataRepresentation reflective typeLibravatar Kristóf Marussy2022-11-10
* refactor: rename CallKind to PolarityLibravatar Kristóf Marussy2022-11-05
* refactor: DNF atomsLibravatar Kristóf Marussy2022-11-05
* refactor: DNF query builderLibravatar Kristóf Marussy2022-11-05
* refactor: tuples in QueryableModelLibravatar Kristóf Marussy2022-10-03
* refactor: remove viatra dependency from storeLibravatar Kristóf Marussy2022-10-03
* refactor: move viatra into a separate subprojectLibravatar Kristóf Marussy2022-10-03