-
Notifications
You must be signed in to change notification settings - Fork 25.7k
Add trunc to z3 validator #140886
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add trunc to z3 validator #140886
Conversation
Fixes vision_maskrcnn benchmark when valdiation is turned on [ghstack-poisoned]
🔗 Helpful Links🧪 See artifacts and rendered test results at hud.pytorch.org/pr/140886
Note: Links to docs will display an error until the docs builds have been completed. ❗ 1 Active SEVsThere are 1 currently active SEVs. If your PR is affected, please view them below: ✅ No FailuresAs of commit 21572e5 with merge base b86b534 ( This comment was automatically generated by Dr. CI and updates every 15 minutes. |
Fixes vision_maskrcnn benchmark when valdiation is turned on cc ezyang SherlockNoMad EikanWang jgong5 wenzhe-nrv [ghstack-poisoned]
Fixes vision_maskrcnn benchmark when validation is turned on cc ezyang SherlockNoMad EikanWang jgong5 wenzhe-nrv [ghstack-poisoned]
Fixes vision_maskrcnn benchmark when validation is turned on cc ezyang SherlockNoMad EikanWang jgong5 wenzhe-nrv [ghstack-poisoned]
|
@pytorchbot merge |
Merge startedYour change will be merged once all checks pass (ETA 0-4 Hours). Learn more about merging in the wiki. Questions? Feedback? Please reach out to the PyTorch DevX Team |
Fixes vision_maskrcnn benchmark when validation is turned on Pull Request resolved: pytorch#140886 Approved by: https://github.com/ezyang ghstack dependencies: pytorch#140830, pytorch#140832, pytorch#140828
Fixes vision_maskrcnn benchmark when valdiation is turned on ghstack-source-id: 51b7283 Pull Request resolved: pytorch/pytorch#140886
Stack from ghstack (oldest at bottom):
Fixes vision_maskrcnn benchmark when validation is turned on
cc @ezyang @SherlockNoMad @EikanWang @jgong5 @wenzhe-nrv