Commit message (Expand) | Author | Age | |
---|---|---|---|
* | refactor: clean up Symbol constructor | Kristóf Marussy | 2023-06-18 |
* | chore: add copyright headers | Kristóf Marussy | 2023-04-15 |
* | refactor: Model store and query API | Kristóf Marussy | 2023-01-29 |
* | refactor(store): simplify return types | Kristóf Marussy | 2022-12-13 |
* | refactor(language): simplify syntax | Kristóf Marussy | 2022-11-22 |
* | refactor: separate primitive types from nodes | Kristóf Marussy | 2022-11-22 |
* | feat(store): DataRepresentation reflective type | Kristóf Marussy | 2022-11-10 |
* | refactor: DNF atoms | Kristóf Marussy | 2022-11-05 |
* | 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 |