aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ModalConstraint.java
Commit message (Expand)AuthorAge
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
* feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
* feat: count and aggregation literal reductionLibravatar Kristóf Marussy2023-05-03
* feat: query parameter binding validationLibravatar Kristóf Marussy2023-05-01
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 17:29:21 +0000