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

Fix dates

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin
2023-10-14 15:58:20 -07:00
parent c189da3671
commit 3bceab0606
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,6 +1,6 @@
---
title: "Proving My Compiler Code Incorrect With Alloy"
date: 2023-10-14T15:38:17-07:00
date: 2023-06-04T21:56:00-07:00
tags: ["Chapel", "Compilers", "Alloy"]
description: "In this post, I apply Alloy to a piece of code in the Chapel compiler to find a bug."
---