aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning-scope/src/main/java/tools/refinery/store/reasoning/scope/LowerTypeScopePropagator.java
Commit message (Expand)AuthorAge
* refactor: improve propagation traceabilityLibravatar Kristóf Marussy2024-06-28
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* fix: upper and lower scopesLibravatar Kristóf Marussy2023-11-19
* fix: scope upper boundsLibravatar Kristóf Marussy2023-11-17
* fix: avoid GLOP error message on stderrLibravatar Kristóf Marussy2023-09-11
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-27 20:27:24 +0000