Skip to content

fix: reject vacuous equivalence and deserialization error false matches in Java comparator#1651

Merged
mashraf-222 merged 4 commits intoomni-javafrom
fix/java-comparator-vacuous-equivalence
Mar 3, 2026
Merged

fix: reject vacuous equivalence and deserialization error false matches in Java comparator#1651
mashraf-222 merged 4 commits intoomni-javafrom
fix/java-comparator-vacuous-equivalence

Commits

Commits on Mar 3, 2026