Skip to content

Remove Pattern Matching

1700e3c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Check If Refinement Predicates Are Boolean Expressions #85

Remove Pattern Matching
1700e3c
Select commit
Loading
Failed to load commit list.
Maven test on Java 20
succeeded Nov 5, 2025 in 1m 42s