Merge branch 'main' into main

Author: yuxincs

.github/workflows/golden-test-run.yml

@@ -36,14 +36,7 @@ jobs:
       # Our Golden tests run NilAway on the entire standard library, which is very resource-intensive.
       # GitHub Actions terminates the job if it hits the resource limits (both in CPU and memory).
       # For CPU limit we set GOMAXPROCS to be one less than the number of available CPUs.
-      # For memory limit we create a 16G swap file and set GOMEMLIMIT to 8G.
-      - name: Create swap file in Github Actions to avoid OOM killer
-        run: |
-          sudo fallocate -l 16G /swapfile
-          sudo chmod 600 /swapfile
-          sudo mkswap /swapfile
-          sudo swapon /swapfile
-
+      # For memory limit we set GOMEMLIMIT to 8G.
       - name: Golden Test
         id: golden_test
         run: |

README.md

@@ -14,7 +14,7 @@ report errors providing users with the nilness flows for easier debugging.
 
 NilAway enjoys three key properties that make it stand out:
 
-- It is **fully-automated**: NilAway is equipped with an inference engine, making it require _no_ any additional
+- It is **fully-automated**: NilAway is equipped with an inference engine, making it require _no_ additional
   information from the developers (e.g., annotations) besides standard Go code.
 
 - It is **fast**: we have designed NilAway to be fast and scalable, making it suitable for large codebases. In our