Merge pull request #141 from pypy/2024-jit-dsl

a blog post on the optimization rule dsl
pypy · Oct 23, 2024 · 032dc1c · 032dc1c
2 parents 5ff339d + cd6849e
commit 032dc1c
Show file tree

Hide file tree

Showing 2 changed files with 497 additions and 1 deletion.
diff --git a/posts/2022/12/pypy-alive.rst b/posts/2022/12/pypy-alive.rst
@@ -6,7 +6,7 @@
 .. link:
 .. description:
 .. type: rest
-.. author: Carl Friedrich Bolz-Tereick
+.. author: CF Bolz-Tereick
 
 In this blog post I want to describe a recent bug finding technique that I've
 added to the PyPy JIT testing infrastructure. This technique uses the Z3