[pypy-commit] [Git][pypy/pypy][branch/fix-intutils-ovf-bug] add some somewhat experimental code that uses the Z3 SMT solver to check that

Carl Friedrich Bolz-Tereick pushed to branch branch/fix-intutils-ovf-bug at PyPy / pypy Commits: e6e6 by Carl Friedrich Bolz-Tereick at 2022-10-17T13:37:01+02:00 add some somewhat experimental code that uses the Z3 SMT solver to check that the optimizer produces a valid output. only works

[pypy-commit] [Git][pypy/pypy][branch/fix-intutils-ovf-bug] 3 commits: put widening logic into one spot

Carl Friedrich Bolz-Tereick pushed to branch branch/fix-intutils-ovf-bug at PyPy / pypy Commits: 71a68c2b by Carl Friedrich Bolz-Tereick at 2022-10-17T20:36:49+02:00 put widening logic into one spot --HG-- branch : fix-intutils-ovf-bug - - - - - be5ab5e7 by Carl Friedrich Bolz-Tereick at 202

[pypy-commit] [Git][pypy/pypy][branch/max_int_threshold] 2 commits: rearrange code so int_max_str_digits works

Matti Picus pushed to branch branch/max_int_threshold at PyPy / pypy Commits: fac94bb8 by Matti Picus at 2022-10-18T00:38:11+03:00 rearrange code so int_max_str_digits works --HG-- branch : max_int_threshold - - - - - 3cb2e822 by Matti Picus at 2022-10-18T00:38:50+03:00 test, limit str -> int