diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-07-02 20:08:33 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-07-02 20:44:48 +0200 |
commit | d5b54f9b3f07bf6b2e044ad0b35176c4f428077e (patch) | |
tree | 87b5423ade2a8ca82402ddd4df925c75deaa7e2f /subprojects/language/src/main/java/tools | |
parent | fix(semantics): traceability for internal rules (diff) | |
download | refinery-d5b54f9b3f07bf6b2e044ad0b35176c4f428077e.tar.gz refinery-d5b54f9b3f07bf6b2e044ad0b35176c4f428077e.tar.zst refinery-d5b54f9b3f07bf6b2e044ad0b35176c4f428077e.zip |
fix(reasoning): do not propagate invalidated objects
Diffstat (limited to 'subprojects/language/src/main/java/tools')
0 files changed, 0 insertions, 0 deletions