Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 |