Commit message (Expand) | Author | Age | |
---|---|---|---|
* | build: add Maven metadata | 2024-06-23 | |
* | refactor(logic): fix Sonar error | 2024-06-19 | |
* | refactor(logic): non-null aggregators | 2024-06-19 | |
* | feat(language): node constants in rule actions | 2024-05-26 | |
* | refactor(logic): abstract domain interface | 2024-04-07 | |
* | refactor: move terms and DNF into logic subproject | 2024-04-07 |