Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add the 'chapel' tag to the alloy article

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2023-10-09 20:24:19 -07:00
parent 4f281ef108
commit 88c5daa561
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/blog/dyno_alloy/index.md
View File

@ -1,7 +1,7 @@
--- ---
title: "Proving My Compiler Code Incorrect With Alloy" title: "Proving My Compiler Code Incorrect With Alloy"
date: 2023-06-04T21:56:00-07:00 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." description: "In this post, I apply Alloy to a piece of code in the Chapel compiler to find a bug."
--- ---