diff --git a/content/blog/dyno_alloy/index.md b/content/blog/dyno_alloy/index.md index 52a1fcd..283ca60 100644 --- a/content/blog/dyno_alloy/index.md +++ b/content/blog/dyno_alloy/index.md @@ -1,7 +1,7 @@ --- title: "Proving My Compiler Code Incorrect With Alloy" date: 2023-06-04T21:56:00-07:00 -tags: ["Compilers", "Alloy"] +tags: ["Chapel", "Compilers", "Alloy"] description: "In this post, I apply Alloy to a piece of code in the Chapel compiler to find a bug." ---