Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat(language): numeric expressions | 2022-11-22 | |
* | feat(store): DataRepresentation reflective type | 2022-11-10 | |
* | refactor: rename CallKind to Polarity | 2022-11-05 | |
* | refactor: DNF atoms | 2022-11-05 | |
* | refactor: DNF query builder | 2022-11-05 | |
* | fix: make Tuple1 cache thread safe | 2022-10-03 | |
* | refactor: tuples in QueryableModel | 2022-10-03 | |
* | refactor: remove viatra dependency from store | 2022-10-03 | |
* | refactor: move viatra into a separate subproject | 2022-10-03 | |
* | feat: data structure for assertion merging | 2022-10-03 | |
* | build: move modules into subproject directory | 2021-12-12 |