From 5cfbebf9729f8c63bb3330e49554b2b19104f8f8 Mon Sep 17 00:00:00 2001 From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com> Date: Fri, 5 Jan 2024 02:10:22 +0100 Subject: [PATCH 1/2] Update pull_request_template.md --- pull_request_template.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pull_request_template.md b/pull_request_template.md index 4a2d47c..8eee750 100644 --- a/pull_request_template.md +++ b/pull_request_template.md @@ -4,6 +4,6 @@ - [ ] The resource is free. - [ ] The resource is rigorous because: (please list) - [ ] The resource is not obnoxious, condescending, etc. -- [ ] My writup is respectful of both sides. +- [ ] My writeup is respectful of both sides. - [ ] I've added reasonable caveats. - [ ] I've noted if the resource is a video, pdf, etc. From 91065e84978fe30a92f42782296329e02127d64c Mon Sep 17 00:00:00 2001 From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com> Date: Fri, 5 Jan 2024 02:10:24 +0100 Subject: [PATCH 2/2] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 27a0a60..67f36fb 100644 --- a/README.md +++ b/README.md @@ -62,7 +62,7 @@ It's great when people get excited about things, but sometimes they get a little * **Notes:** Systems were verified with Coq and Z3. Further discussion at [The Morning Paper](https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/). -#### [Fixing Faults in C and Java Source Code: Abbreviated vs. Full-word Identiļ¬er Names](http://www2.unibas.it/gscanniello/Giuseppe_Scanniello%40unibas/Home_files/TOSEM.pdf) (PDF) +#### [Fixing Faults in C and Java Source Code: Abbreviated vs. Full-word Identifier Names](http://www2.unibas.it/gscanniello/Giuseppe_Scanniello%40unibas/Home_files/TOSEM.pdf) (PDF) * **Hype:** "Identifiers should be self-documenting! Use full names, not abbreviations."