Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor: rename CallKind to Polarity | Kristóf Marussy | 2022-11-05 |
| | |||
* | refactor: DNF atoms | Kristóf Marussy | 2022-11-05 |
| | | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models. | ||
* | refactor: DNF query builder | Kristóf Marussy | 2022-11-05 |
| | |||
* | fix: make Tuple1 cache thread safe | Kristóf Marussy | 2022-10-03 |
| | |||
* | refactor: tuples in QueryableModel | Kristóf Marussy | 2022-10-03 |
| | |||
* | refactor: remove viatra dependency from store | Kristóf Marussy | 2022-10-03 |
| | |||
* | refactor: move viatra into a separate subproject | Kristóf Marussy | 2022-10-03 |
| | |||
* | feat: data structure for assertion merging | Kristóf Marussy | 2022-10-03 |
| | |||
* | build: move modules into subproject directory | Kristóf Marussy | 2021-12-12 |