Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fix: nullary model initialization | 2023-08-19 | |
* | feat: basic semantics mapping and visualization | 2023-08-17 | |
* | chore: add copyright headers | 2023-04-15 | |
* | refactor: Model store and query API | 2023-01-29 | |
* | feat: data structure for default assertions | 2022-10-03 | |
* | refactor: tuples in QueryableModel | 2022-10-03 | |
* | feat: data structure for assertion merging | 2022-10-03 |