Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat: cancellation token for ModelStore | Kristóf Marussy | 2023-09-11 |
* | fix: VIATRA projection indexer error | Kristóf Marussy | 2023-09-10 |
* | feat: integrate DSE with partial interpretation | Kristóf Marussy | 2023-09-09 |
* | fix: nullary model initialization | Kristóf Marussy | 2023-08-19 |
* | feat: basic semantics mapping and visualization | Kristóf Marussy | 2023-08-17 |
* | chore: add copyright headers | Kristóf Marussy | 2023-04-15 |
* | refactor: Model store and query API | Kristóf Marussy | 2023-01-29 |
* | feat: data structure for default assertions | Kristóf Marussy | 2022-10-03 |
* | refactor: tuples in QueryableModel | Kristóf Marussy | 2022-10-03 |
* | feat: data structure for assertion merging | Kristóf Marussy | 2022-10-03 |