Add a list of contributors

secure-foundations · Dec 7, 2024 · 126c905 · 126c905
1 parent edf5779
commit 126c905
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -0,0 +1,10 @@
+Alex Bai
+Jay Bosamiya
+Edwin Fernando
+Md Rakib Hossain
+Jay Lorch
+Shan Lu
+Natalie Neamtu
+Bryan Parno
+Amar Shah
+Elanor Tang
diff --git a/README.md b/README.md
@@ -16,8 +16,8 @@ folder](./tasks/gpt), we have (unverified) Rust code generated by ChatGPT.  Of
 course, the code may be completely incorrect, so feel free to ignore it and
 start your code from scratch.
 
-Contributors will be acknowledged in any publications that may be published
-about this benchmark.
+[Contributors](./CONTRIBUTORS.md) should be acknowledged in any publications
+that may be published about this benchmark.
 
 [HumanEval]: https://github.com/openai/human-eval
 [Verus]: https://github.com/verus-lang/verus