Correct Grammar, Spelling, and Capitalization in Documentation (#1118)

AliveToolkit · Nov 29, 2024 · 129e8fb · 129e8fb
1 parent d96d198
commit 129e8fb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/BugList.md b/BugList.md
@@ -95,7 +95,7 @@ Please contact us or submit a PR if something is missing or inaccurate.
 88. VectorCombine: shufflevector reorder leads to srem by poison (https://llvm.org/PR89390)
 89. InstCombine: incorrect srem rewrite (https://llvm.org/PR89516)
 90. InstCombine: incorrect swap of select vector operands (https://llvm.org/89669)
-91. SimplifyCFG: coallesced store retains the wrong alignment (https://llvm.org/PR89672)
+91. SimplifyCFG: coalesced store retains the wrong alignment (https://llvm.org/PR89672)
 92. LoopVectorize introduces division by zero (https://llvm.org/PR89958)
 93. InstCombine: align attribute doesn't dereferenceability (https://llvm.org/PR90446)
 94. Reassociate: invalid propagation of overflow attributes at low bit-width (https://llvm.org/PR91417)

diff --git a/tests/README.md b/tests/README.md
@@ -1,7 +1,7 @@
 Alive2 unit tests
 =================
 
-three test file formats are supported:
+Three test file formats are supported:
 
 - if a unit test has the suffix ".srctgt.ll" then this file will be sent to
   alive-tv. it should stand on its own.

diff --git a/tests/alive-tv/bugs/README.md b/tests/alive-tv/bugs/README.md
@@ -1,3 +1,3 @@
 This folder maintains a set of tests to check that Alive2 does not miss any
-miscompilation that have been reported to Bugzilla (either reported by us or
+miscompilations that have been reported to Bugzilla (either reported by us or
 others).