Implement real presburger-based CompUniqueBounds. #283
Conversation
It fixes 20.pass/test_simplify.py::test_multiple_min_max[pb_simplify]. But why?
|
This pull request introduces 1 alert when merging 489e687 into e9657aa - view on LGTM.com new alerts:
Heads-up: LGTM.com's PR analysis will be disabled on the 5th of December, and LGTM.com will be shut down ⏻ completely on the 16th of December 2022. Please enable GitHub code scanning, which uses the same CodeQL engine ⚙️ that powers LGTM.com. For more information, please check out our post on the GitHub blog. |
|
This pull request introduces 1 alert when merging fb22584 into e9657aa - view on LGTM.com new alerts:
Heads-up: LGTM.com's PR analysis will be disabled on the 5th of December, and LGTM.com will be shut down ⏻ completely on the 16th of December 2022. Please enable GitHub code scanning, which uses the same CodeQL engine ⚙️ that powers LGTM.com. For more information, please check out our post on the GitHub blog. |
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
- Fix return value from CompUniqueBounds when there is no non-trivial bounds. - Fix pass/shrink_var for whether using old shapes for bounds. - Fix incorrect testing program in 20.pass/test_prop_one_time_use.py::test_thread_local_no_prop
roastduck
changed the title
Currently only isolated implementation and provide a new abstract interface. Open PR just for CI runs.