aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store
Commit message (Collapse)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
| | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models.
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-20 22:14:48 +0000