fixes

pypy · Oct 23, 2024 · f965d6e · f965d6e
1 parent 032dc1c
commit f965d6e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/posts/2022/12/pypy-alive.rst b/posts/2022/12/pypy-alive.rst
@@ -1,7 +1,7 @@
 .. title: Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing
 .. slug: jit-bug-finding-smt-fuzzing
 .. date: 2022-12-11 18:00:00 UTC
-.. tags: jit, testing
+.. tags: jit, testing, z3
 .. category:
 .. link:
 .. description:

diff --git a/posts/2024/10/jit-peephole-dsl.rst b/posts/2024/10/jit-peephole-dsl.rst
@@ -1,5 +1,5 @@
 .. title: A DSL for Peephole Transformation Rules of Integer Operations in the PyPy JIT
-.. slug: jit-bug-finding-smt-fuzzing
+.. slug: jit-peephole-dsl
 .. date: 2024-10-23 15:00:00 UTC
 .. tags: jit, z3
 .. category:
@@ -470,7 +470,7 @@ extensions that I plan to work on in the future:
   question, but I still don't understand what the correct approach in our
   context would be.
 
-- Ordering comparisons like `int_lt`, `int_le` and their unsigned variants are
+- Ordering comparisons like ``int_lt``, ``int_le`` and their unsigned variants are
   not ported to the DSL yet. Comparisons are an area where the JIT is not super
   good yet at optimizing away operations. This is a pretty big topic and I've
   started a project with Nico Rittinghaus to try to improve the situation a bit