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