Commit message (Expand) | Author | Age | |
---|---|---|---|
* | refactor(reasoning): propagation in refiner | Kristóf Marussy | 2024-07-30 |
* | refactor(logic): abstract domain interface | Kristóf Marussy | 2024-04-07 |
* | refactor: move terms and DNF into logic subproject | Kristóf Marussy | 2024-04-07 |
* | feat: state-based store for cross references | Kristóf Marussy | 2023-12-08 |