aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/logic
Commit message (Expand)AuthorAge
* build: add Maven metadataLibravatar Kristóf Marussy2024-06-23
* refactor(logic): fix Sonar errorLibravatar Kristóf Marussy2024-06-19
* refactor(logic): non-null aggregatorsLibravatar Kristóf Marussy2024-06-19
* feat(language): node constants in rule actionsLibravatar Kristóf Marussy2024-05-26
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07