Skip to content

Use TryGetRangeFromAssertions to fold more relops in global assert prop#112824

Merged
EgorBo merged 14 commits intodotnet:mainfrom
EgorBo:rngchk-2
Mar 5, 2025
Merged

Use TryGetRangeFromAssertions to fold more relops in global assert prop#112824
EgorBo merged 14 commits intodotnet:mainfrom
EgorBo:rngchk-2

Commits

Commits on Feb 28, 2025

Commits on Mar 1, 2025

Commits on Mar 2, 2025

Commits on Mar 4, 2025