Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor: separate primitive types from nodes | 2022-11-22 | |
| | |||
* | feat(store): DataRepresentation reflective type | 2022-11-10 | |
| | |||
* | refactor: DNF atoms | 2022-11-05 | |
| | | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models. | ||
* | 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 | |