Merge pull request #153 from mattip/pypy7.3.18

add checksums and update for v7.3.18 release with python3.11

Author: mattip

images/2025-vmprof-firefox.png

@@ -8,6 +8,40 @@
 
 Here are the checksums
 
+pypy3.11-v7.3.18 sha256::
+
+    95bc3021cb9be2aa766ecb776c215e97ae8c0dda99dd48840b40b5b87d90bc45  pypy3.11-v7.3.18-aarch64.tar.bz2
+    70357a69cdbf4ce449b5743901fcd36208e0a89eadcfb4d2ebdc9b4711a0612c  pypy3.11-v7.3.18-linux32.tar.bz2
+    df5fa534800ff09d990e50ca4fdb02d8a06b9ed948dbcb3a09bea0739ef42de7  pypy3.11-v7.3.18-linux64.tar.bz2
+    cc4d6dd621dffd474eb9a2d01e5844d1b6a6f88b404aac2c48a9c267b5370df4  pypy3.11-v7.3.18-macos_arm64.tar.bz2
+    4f2274ffb4b787fd5b5f15cd61f7fef5a3710bf0ecbd4293bf0251035b468865  pypy3.11-v7.3.18-macos_x86_64.tar.bz2
+    fbc82b8ff67b942e6fce49980dc0f0f83193b005173f9bddd39d6396fb6b939d  pypy3.11-v7.3.18-src.tar.bz2
+    59c2515e38c9ac82d4cd4c09569cbeba2661406e7b04e2adb5a275a8ae86ff66  pypy3.11-v7.3.18-src.zip
+    ccbea242f623700027e713d845dff5c7f7a5806413bbce229d3dcb88715970fd  pypy3.11-v7.3.18-win64.zip
+
+pypy3.10-v7.3.18 sha256::
+
+    e843aecd48eb06b625af67891b99e3440313cfb64c6851fc37df1e5572c8ef9e  pypy3.10-v7.3.18-aarch64.tar.bz2
+    34ef09a481254aad0f22bf09fd7c99efb65ffef4f79f5b4222505f55f8d9c22e  pypy3.10-v7.3.18-linux32.tar.bz2
+    834ccd4544bb47112a66977add7e47f30619f74061ae990876bcba95d98c27c5  pypy3.10-v7.3.18-linux64.tar.bz2
+    1d47da22bc9f7b5329f97c9c7b3ee0b051252ff1e82ca76999ad2d44758be41f  pypy3.10-v7.3.18-macos_arm64.tar.bz2
+    b7031cbf815b7ba26ed2503b76ee3e73d7322b55f3671219019e8385042e212f  pypy3.10-v7.3.18-macos_x86_64.tar.bz2
+    08eb70e866987e4abe88ae9f54a98f919df92b595f7cdf4041703e8802b11552  pypy3.10-v7.3.18-src.tar.bz2
+    646bc0127f402983440ebca0a507e3b576745668d4e1b82cc3cbd6d8e49768d0  pypy3.10-v7.3.18-src.zip
+    e7ae89c5d45efcc927425281c870d0ce62cd624628f869cb0a25a0647e39a7be  pypy3.10-v7.3.18-win64.zip
+
+pypy2.7-v7.3.18 sha256::
+
+    d647cad5be915df65f44277fd051c8d52e708d22838b5cb21b2de033530acc80  pypy2.7-v7.3.18-aarch64.tar.bz2
+    54990fb1ae2266c260a7ce694b84ab91a8d0d298da440cd5695ac671dc5615e2  pypy2.7-v7.3.18-linux32.tar.bz2
+    1da34354e5fa59400609e94c00ba6feccf5aa575abb26fb6caf9c2ac16100ff4  pypy2.7-v7.3.18-linux64.tar.bz2
+    48927b1931a4feadea945f7c988c429b42e9fb6567af3810ab86ad95efbe98bc  pypy2.7-v7.3.18-macos_arm64.tar.bz2
+    db9d2bcc8dbe089b34a19083a11116697e8679acc2c47a2862264429810f666e  pypy2.7-v7.3.18-macos_x86_64.tar.bz2
+    737435ddfc5afa5b97a7209c87d70d5f1062426c053b9bb8b99a0347cb4891fa  pypy2.7-v7.3.18-src.tar.bz2
+    7646a04fd9d3faeb20bef003291258b202c28624971673cb69d2bdef73426e57  pypy2.7-v7.3.18-src.zip
+    c1d397743a6727832affddb15296dbeeb4a7602d91ae64114d798a9cc71179ca  pypy2.7-v7.3.18-win64.zip
+
+
 pypy3.10-v7.3.17 sha256::
 
     53b6e5907df869c49e4eae7aca09fba16d150741097efb245892c1477d2395f2  pypy3.10-v7.3.17-aarch64.tar.bz2
@@ -19,7 +53,7 @@ pypy3.10-v7.3.17 sha256::
     00857673af7d92144a5e134c723891953a1e99ac002eff440330de23a8147e85  pypy3.10-v7.3.17-src.zip
     cab794a03ddda26238c72942ea6f225612e0dc17c76cac6652da83a95024e6e8  pypy3.10-v7.3.17-win64.zip
 
-pypy2.7-v7.3.16 sha256::
+pypy2.7-v7.3.17 sha256::
 
     a8df5ce1650f4756933f8780870c91a0a40e7c9870d74629bf241392bcb5c2e3  pypy2.7-v7.3.17-aarch64.tar.bz2
     a3aa0867cc837a34941047ece0fbb6ca190410fae6ad35fae4999d03bf178750  pypy2.7-v7.3.17-linux32.tar.bz2

pages/checksums.rst

@@ -17,10 +17,6 @@ management. Modules that use the `CPython C API`_ will probably work, but will
 not achieve a speedup via the JIT. We encourage library authors to use `CFFI`_
 and HPy_ instead.
 
-If you are looking for how to use PyPy with the scientific python ecosystem,
-we encourage you to use `conda`_, since they repackage common libraries like
-scikit-learn and SciPy for PyPy.
-
 Refcounting, ``__del__``, and resource use
 ------------------------------------------
 

pages/compat.rst

@@ -34,13 +34,16 @@ Source
 
 .. class:: download_menu
 
+* `3.11 Source (tar.bz2)`__; `3.11 Source (zip)`__.
 * `3.10 Source (tar.bz2)`__; `3.10 Source (zip)`__.
 * `2.7 Source (tar.bz2)`__; `2.7 Source (zip)`__.
 
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-src.tar.bz2
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-src.zip
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-src.tar.bz2
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-src.zip
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-src.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-src.zip
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-src.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-src.zip
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-src.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-src.zip
 
 
 More information

pages/download.rst

@@ -11,9 +11,11 @@
 
 We provide pre-compiled binaries for many platforms and OSes:
 
-* the Python2.7 compatible release — **PyPy2.7 v7.3.17**
+* the Python2.7 compatible release — **PyPy2.7 v7.3.18**
 
-* the Python3.10 compatible release — **PyPy3.10 v7.3.17**
+* the Python3.10 compatible release — **PyPy3.10 v7.3.18**
+
+* the Python3.11 compatible release — **PyPy3.11 v7.3.18**
 
 .. note::
 
@@ -31,83 +33,97 @@ We provide pre-compiled binaries for many platforms and OSes:
   Anonymous tags work, this kind of tag doesn't ``Download <linux64-pypy3.10>``
 
 .. list-table:: `PyPy latest`_
-   :widths: 20 15 15 35
+   :widths: 20 15 15 15 35
    :header-rows: 1
 
    * - OS
+     - PyPy3.11
      - PyPy3.10
      - PyPy2.7
      - Notes
 
    * - **Linux x86 64 bit**
+     - Download__
      - Download__
      - Download__
      - compatible with CentOS7 and later.
 
    * - **Windows 64 bit**
+     - Download__
      - Download__
      - Download__
      - compatible with any windows 64-bit
        you might need the VC runtime library installer `vcredist.x64.exe`_
 
    * - **MacOS arm64**
 
+     - Download__
      - Download__
      - Download__
      - MacOS >= 11. Not signed, for signed packages use Homebrew_.
 
    * - **MacOS x86_64**
 
+     - Download__
      - Download__
      - Download__
      - MacOS >= 10.15, not for Mojave and below. Not signed, for signed
        packages use Homebrew_.
 
    * - **Linux ARM64**
 
+     - Download__
      - Download__
      - Download__
      - compatible with CentOS7 and later.
 
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-linux64.tar.bz2
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-linux64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-linux64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-linux64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-linux64.tar.bz2
 
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-win64.zip
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-win64.zip
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-win64.zip
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-win64.zip
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-win64.zip
 
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-macos_arm64.tar.bz2
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-macos_arm64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-macos_arm64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-macos_arm64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-macos_arm64.tar.bz2
 
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-macos_x86_64.tar.bz2
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-macos_x86_64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-macos_x86_64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-macos_x86_64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-macos_x86_64.tar.bz2
 
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-aarch64.tar.bz2
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-aarch64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-aarch64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-aarch64.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-aarch64.tar.bz2
 
-.. _`PyPy latest`: https://doc.pypy.org/en/latest/release-v7.3.17.html
+.. _`PyPy latest`: https://doc.pypy.org/en/latest/release-v7.3.18.html
 .. _`vcredist.x64.exe`: https://www.microsoft.com/en-us/download/details.aspx?id=52685
 
 ..
   table finish
 
 
 .. list-table:: Other Platforms
-   :widths: 20 15 15 35
+   :widths: 20 15 15 15 35
    :header-rows: 1
 
    * - OS
+     - PyPy3.11
      - PyPy3.10
      - PyPy2.7
      - Notes
 
    * - **Linux x86 32 bit**
 
+     - Download__
      - Download__
      - Download__
      - compatible with CentOS7 and later
 
-.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-linux32.tar.bz2
-.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-linux32.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-linux32.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-linux32.tar.bz2
+.. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-linux32.tar.bz2
 
 .. _`Default (with a JIT Compiler)`:
 
@@ -283,11 +299,13 @@ Building from source
    Alternatively, get one of the following smaller packages for the source at
    the same revision as the above binaries:
 
-   * `pypy2.7-v7.3.17-src.tar.bz2`__ (sources, PyPy 2.7 only)
-   * `pypy3.10-v7.3.17-src.tar.bz2`__ (sources, PyPy 3.10 only)
+   * `pypy3.11-v7.3.18-src.tar.bz2`__ (sources, PyPy 3.10 only)
+   * `pypy3.10-v7.3.18-src.tar.bz2`__ (sources, PyPy 3.10 only)
+   * `pypy2.7-v7.3.18-src.tar.bz2`__ (sources, PyPy 2.7 only)
 
-   .. __: https://downloads.python.org/pypy/pypy2.7-v7.3.17-src.tar.bz2
-   .. __: https://downloads.python.org/pypy/pypy3.10-v7.3.17-src.tar.bz2
+   .. __: https://downloads.python.org/pypy/pypy3.11-v7.3.18-src.tar.bz2
+   .. __: https://downloads.python.org/pypy/pypy3.10-v7.3.18-src.tar.bz2
+   .. __: https://downloads.python.org/pypy/pypy2.7-v7.3.18-src.tar.bz2
 
 
 2. Make sure you **installed the dependencies.**  See the list here__.
@@ -419,7 +437,7 @@ pre-compiling them, normal users will get errors:
   normally found: e.g. in your project's main directory, or in a
   directory that you add to the env var ``PYTHONPATH``.
 
-.. _`package.py`: https://github.com/pypy/pypy/blob/release-pypy3.10-v7.3.17/pypy/tool/release/package.py
+.. _`package.py`: https://github.com/pypy/pypy/blob/release-pypy3.11-v7.3.18/pypy/tool/release/package.py
 
 Checksums
 ---------

pages/download_advanced.rst

@@ -11,7 +11,7 @@
 language that was co-developed with it.  The main reason to use it
 instead of CPython is speed: it runs generally faster (see next section).
 
-**PyPy** implements **Python 2.7.18 and 3.10.14**.
+**PyPy** implements **Python 2.7.18 and 3.11.11**.
 It supports all of the core language. It supports most of
 the commonly used Python standard library modules. For known differences with
 CPython, see our `compatibility`_ page.
@@ -105,6 +105,10 @@ projects.  We will mention here:
   There is also a Ruby implementation called Topaz_ and a PHP implementation
   called HippyVM_.
 
+* **Emulators:** PyPy really shines as a platform to model hardware. The
+  Pydrofoil_ emulator for RISC-V and ARM64 ISA models written in Sail_ is
+  very performant, usually an order of magnitude faster than other emulators
+  generated by Sail
 
 Sandboxing
 ==========
@@ -165,3 +169,5 @@ To read more about its features, try ``pypy_interact.py --help`` or go to
 .. _Gameboy: https://bitbucket-archive.softwareheritage.org/projects/py/pypy/lang-gameboy.html
 .. _Topaz: https://github.com/topazproject/topaz
 .. _HippyVM: http://www.hippyvm.com/
+.. _Pydrofoil: https://docs.pydrofoil.org
+.. _Sail: https://github.com/rems-project/sail

pages/features.rst

@@ -53,7 +53,7 @@ A `fast`_, `compliant`_ alternative implementation of `Python`_
 
 .. class:: small
 
-On average, PyPy is **4.4 times faster** than CPython 3.7. We currently support python 3.10 and 2.7.
+On average, PyPy is **about 3 times faster** than CPython 3.11. We currently support python 3.11 and 2.7.
 
 .. figure:: images/pypy_speed_graph.png
     :alt: PyPy vs. Python speed comparison graph"

pages/index.rst

@@ -202,7 +202,7 @@ A more interesting class of redundancy is to try to find two operations in a
 trace that compute the same result. We can do that by asking Z3 to prove for
 each pair of different operations in the trace to prove that the result is
 always the same. If a previous operation returns the same result, the JIT could
-have re-used that result instead of re-computing it, saving time. Doing this
+have reused that result instead of re-computing it, saving time. Doing this
 search for equivalent operations with Z3 is quadratic in the number of
 operations, but since traces have a maximum length it is not too bad in
 practice.

posts/2024/07/mining-jit-traces-missing-optimizations-z3.md

@@ -41,7 +41,7 @@ They often focus on loops as their main unit of compilation.
 Then there is the distinction between a "regular" JIT compiler and that of a
 *meta-JIT*. A regular JIT is built to compile one specific source language to
 machine code. A meta-JIT is a framework for building JIT compilers for a
-variety of different languages, re-using as much machinery as possible between
+variety of different languages, reusing as much machinery as possible between
 the different implementation.
 
 ## Personal and Project Context