aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store
Commit message (Expand)AuthorAge
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
* 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
* fix: make Tuple1 cache thread safeLibravatar Kristóf Marussy2022-10-03
* 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
* feat: data structure for assertion mergingLibravatar Kristóf Marussy2022-10-03
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12