Skip to content

Fix unhandled InvalidCastException when a rewrite/metathesis rule has a top-level Quantifier - #464

Merged
ddaspit merged 1 commit into
masterfrom
fix/quantifier-in-rewrite-lhs-rhs
Jul 29, 2026
Merged

Fix unhandled InvalidCastException when a rewrite/metathesis rule has a top-level Quantifier#464
ddaspit merged 1 commit into
masterfrom
fix/quantifier-in-rewrite-lhs-rhs

Fix InvalidCastException when a rewrite/metathesis rule has a top-lev…

521334b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build on ubuntu-22.04
succeeded Jul 25, 2026 in 2m 58s