Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat: container type propagation | Kristóf Marussy | 2024-07-03 |
* | feat: partial references | Kristóf Marussy | 2024-06-01 |
* | refactor(logic): abstract domain interface | Kristóf Marussy | 2024-04-07 |
* | feat: state-based store for cross references | Kristóf Marussy | 2023-12-08 |
* | feat: predicates as reference types | Kristóf Marussy | 2023-11-17 |
* | feat: improve semantics error reporting | Kristóf Marussy | 2023-08-20 |
* | fix: opposite translation error reporting | Kristóf Marussy | 2023-08-17 |
* | feat: metamodel translator | Kristóf Marussy | 2023-08-13 |