summaryrefslogtreecommitdiffstats
path: root/subprojects/logic
Commit message (Expand)AuthorAge
* 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