diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-05-20 20:41:06 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-05-26 17:22:33 +0200 |
commit | 926da55dedad57f43f0f1cf28cdce1137a48a72d (patch) | |
tree | 0bb5e8ee497165283f23cd94a6fa3608ca09be7e /z3 | |
parent | feat(language): node constants in rule actions (diff) | |
download | refinery-926da55dedad57f43f0f1cf28cdce1137a48a72d.tar.gz refinery-926da55dedad57f43f0f1cf28cdce1137a48a72d.tar.zst refinery-926da55dedad57f43f0f1cf28cdce1137a48a72d.zip |
fix(semantics): negative quantification in rules
Make sure we appropriate quantify over the existence of objects in negative and
transitive calls in rule preconditions.
Diffstat (limited to 'z3')
0 files changed, 0 insertions, 0 deletions