Add powers of two to integer constants#4644
Merged
Zac-HD merged 9 commits intoHypothesisWorks:masterfrom Jan 23, 2026
Merged
Commits
Commits on Jan 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 22, 2026
Commits on Jan 23, 2026
- authored