aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics
Commit message (Collapse)AuthorAge
* 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