Console View
|
Categories: aarch64 benchmark-run linux32 linux64 macos-arm64 macos-x86_64 win64 |
|
| aarch64 | benchmark-run | linux32 | linux64 | macos-arm64 | macos-x86_64 | win64 | ||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| simply use >> for signed right shift | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| add some links | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| allow computing intbound intermediate results too | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| one slightly unclear force_ge_zero behaviour | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| we get slightly different bridge counts now | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| add example output | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| fix rest | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| cache proofs | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
int_is_true(x & MININT) => x < 0; x == x - (x == a) => 0 the former occures in Pydrofoil, the latter in hash computations in pypy (with a == -1) |
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
mattip
matti.picus@gmail.com |
|
|
|
|
|
|
|
|||||||||||||||||||||
| fix completer for attributes of None | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| print more helpful messages in tests too | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| fix test_pypy_c tests | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
constant fold xor (pure.py does it too, and there's no need to use the knownbits info. but I wanted to fix ^ in the parser) |
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| cache proofs | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| measure time of the proofs | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| simplify const generation | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| move readme content to the actual rpython documentation | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| Merge branch 'main' into jit-opt-dsl | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| add to readme | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| fix code generation for MININT | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
mattip
matti.picus@gmail.com |
|
|
|
|
|
|
|
|||||||||||||||||||||
| sys.stdout and sys.stdin use 'strict' errors by default | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| fix error message | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
mattip
matti.picus@gmail.com |
|
|
|
|
|
|
|
|||||||||||||||||||||
| skip flaky part of test, issue 5089 | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| remove one of the sorry | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
CF Bolz-Tereick
cfbolz@gmx.de |
|
|
|
|
|
|
|
|||||||||||||||||||||
| add test and enable two more shift optimizations | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||