Skip to content

Support for <expr> instanceof <Type> <var> - #3976

Draft
wadoon wants to merge 4 commits into
mainfrom
weigl/instanceof
Draft

Support for <expr> instanceof <Type> <var>#3976
wadoon wants to merge 4 commits into
mainfrom
weigl/instanceof

add cast in pos/negBinding, more rules

73183af
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
failed Aug 23, 2026 in 37m 21s