Commit message (Expand) | Author | Age | |
---|---|---|---|
* | refactor(logic): fix Sonar error | Kristóf Marussy | 2024-06-19 |
* | refactor(logic): non-null aggregators | Kristóf Marussy | 2024-06-19 |
* | feat(language): node constants in rule actions | Kristóf Marussy | 2024-05-26 |
* | 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 |