From 88c5daa561a8db99ad4812219e5f97b5539918ac Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 9 Oct 2023 20:24:19 -0700 Subject: [PATCH] Add the 'chapel' tag to the alloy article Signed-off-by: Danila Fedorin --- content/blog/dyno_alloy/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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." ---