knownbits in the toy optimizer blog post

Merge pull request #126 from pypy/blog-toy-knownbits
pypy · Aug 3, 2024 · f4b8348 · f4b8348
2 parents d184064 + 28dfc0b
commit f4b8348
Show file tree

Hide file tree

Showing 7 changed files with 1,523 additions and 6 deletions.
diff --git a/conf.py b/conf.py
@@ -1127,7 +1127,7 @@
 #       with the MarkdownExtension class and should not be added here.
 # Defaults are markdown.extensions.(fenced_code|codehilite|extra)
 # markdown.extensions.meta is required for Markdown metadata.
-MARKDOWN_EXTENSIONS = ['markdown.extensions.fenced_code', 'markdown.extensions.codehilite', 'markdown.extensions.extra']
+MARKDOWN_EXTENSIONS = ['markdown.extensions.fenced_code', 'markdown.extensions.codehilite', 'markdown.extensions.extra', 'markdown.extensions.toc']
 
 # Options to be passed to markdown extensions (See https://python-markdown.github.io/reference/)
 # Default is {} (no config at all)

diff --git a/posts/2022/07/toy-optimizer.rst b/posts/2022/07/toy-optimizer.rst
@@ -1,7 +1,7 @@
 .. title: Implementing a Toy Optimizer
 .. slug: toy-optimizer
 .. date: 2022-07-19 12:00:00 UTC
-.. tags:
+.. tags: toy-optimizer
 .. category:
 .. link:
 .. description:

diff --git a/posts/2022/10/toy-optimizer-virtuals.rst b/posts/2022/10/toy-optimizer-virtuals.rst
@@ -1,7 +1,7 @@
 .. title: Allocation Removal in the Toy Optimizer
 .. slug: toy-optimizer-allocation-removal
 .. date: 2022-10-25 7:55:00 UTC
-.. tags:
+.. tags: toy-optimizer
 .. category:
 .. link:
 .. description:

diff --git a/posts/2024/07/finding-simplification-rules-with-z3.md b/posts/2024/07/finding-simplification-rules-with-z3.md
@@ -2,7 +2,7 @@
 .. title: Finding Simple Rewrite Rules for the JIT with Z3
 .. slug: finding-simple-rewrite-rules-jit-z3
 .. date: 2024-07-12 19:14:09 UTC
-.. tags:
+.. tags: z3, jit
 .. category:
 .. link:
 .. description:

diff --git a/posts/2024/07/mining-jit-traces-missing-optimizations-z3.md b/posts/2024/07/mining-jit-traces-missing-optimizations-z3.md
@@ -2,7 +2,7 @@
 .. title: Mining JIT traces for missing optimizations with Z3
 .. slug: mining-jit-traces-missing-optimizations-z3
 .. date: 2024-07-19 17:01:09 UTC
-.. tags:
+.. tags: z3, jit
 .. category:
 .. link:
 .. description:

diff --git a/posts/2024/07/toy-abstract-interpretation.md b/posts/2024/07/toy-abstract-interpretation.md
@@ -2,7 +2,7 @@
 .. title: Abstract interpretation in the Toy Optimizer
 .. slug: toy-abstract-interpretation
 .. date: 2024-07-24 14:48:00 UTC
-.. tags:
+.. tags: toy-optimizer
 .. category:
 .. link:
 .. description: