fix: resolve spelling issues

src/dapp-tests/fail/dsProveFail.sol

@@ -56,7 +56,7 @@ contract SolidityTest is DSTest, DSMath {
 
         uint expected = usr == address(this)
                         ? 0    // self transfer is a noop
-                        : amt; // otherwise `amt` has been transfered to `usr`
+                        : amt; // otherwise `amt` has been transferred to `usr`
         assertEq(expected, postbal - prebal);
     }
 }

src/dapp-tests/pass/dsProvePass.sol

@@ -59,12 +59,12 @@ contract SolidityTest is DSTest, DSMath {
 
         uint expected = usr == address(this)
                         ? 0    // self transfer is a noop
-                        : amt; // otherwise `amt` has been transfered to `usr`
+                        : amt; // otherwise `amt` has been transferred to `usr`
         assertEq(expected, postbal - prebal);
     }
 
     function prove_burn(uint supply, uint amt) public {
-        if (amt > supply) return; // no undeflow
+        if (amt > supply) return; // no underflow
 
         token.mint(supply);
         token.burn(amt);

src/dapp/libexec/dapp/dapp-test-geth-experimental

@@ -3,7 +3,7 @@ set -e
 shopt -s nullglob
 
 # To run the unit tests as fast as possible, we need to avoid serial
-# blockchain interactions.  Preferrably we would be done in two
+# blockchain interactions.  Preferably we would be done in two
 # blocks, one for creating contracts, one for running the tests
 # against them.
 #

src/dapp/libexec/dapp/dapp-verify-contract

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-### dapp-verify-contract -- verify contract souce on etherscan
+### dapp-verify-contract -- verify contract source on etherscan
 ### Usage: dapp verify-contract <path>:<contractname> <address> [constructorArgs]
 
 set -e
@@ -113,8 +113,8 @@ while [ $count -lt 5 ]; do
   response=$(curl -fsS "$ETHERSCAN_API_URL" -d "$query" \
   --data-urlencode "compilerversion=$version" \
   --data-urlencode "sourceCode@"<(echo "$source") \
-  --data-urlencode "constructorArguements=$constructorArguments" -X POST)
-  # NOTE: the Arguements typo is in etherscan's API
+  --data-urlencode "constructorArguments=$constructorArguments" -X POST)
+  # NOTE: the Arguments typo is in etherscan's API
 
   status=$(jshon <<<"$response" -e status -u)
   guid=$(jshon <<<"$response" -e result -u)

src/ethsign/README.md

@@ -26,4 +26,4 @@ COMMANDS:
 ```
 ## Installation
 
-`ethsign` is distrubuted as part of the [Dapp tools suite](../../README.md).
+`ethsign` is distributed as part of the [Dapp tools suite](../../README.md).

src/hevm/README.md

@@ -104,7 +104,7 @@ Available options:
                            point
   --solver TEXT            Used SMT solver: z3 (default) or cvc4
   --smtdebug               Print smt queries sent to the solver
-  --assertions [WORD256]   Comma seperated list of solc panic codes to check for
+  --assertions [WORD256]   Comma separated list of solc panic codes to check for
                            (default: everything except arithmetic overflow)
   --ask-smt-iterations INTEGER
                            Number of times we may revisit a particular branching

src/hevm/ethjet/ethjet-ff.cc

@@ -40,7 +40,7 @@ namespace ethjet_ff {
   // for loading an element of F_{q^2} (a coordinate of G_2)
   // consumes 64 bytes
   alt_bn128_Fq2 read_Fq2_element (uint8_t *in) {
-    // suprising "big-endian" encoding
+    // surprising "big-endian" encoding
     alt_bn128_Fq x0 = read_Fq_element(in+32);
     alt_bn128_Fq x1 = read_Fq_element(in);
 

src/hevm/hevm-cli/hevm-cli.hs

@@ -132,7 +132,7 @@ data Command w
       , maxIterations :: w ::: Maybe Integer      <?> "Number of times we may revisit a particular branching point"
       , solver        :: w ::: Maybe Text         <?> "Used SMT solver: z3 (default) or cvc4"
       , smtdebug      :: w ::: Bool               <?> "Print smt queries sent to the solver"
-      , assertions    :: w ::: Maybe [Word256]    <?> "Comma seperated list of solc panic codes to check for (default: everything except arithmetic overflow)"
+      , assertions    :: w ::: Maybe [Word256]    <?> "Comma separated list of solc panic codes to check for (default: everything except arithmetic overflow)"
       , askSmtIterations :: w ::: Maybe Integer   <?> "Number of times we may revisit a particular branching point before we consult the smt solver to check reachability (default: 5)"
       }
   | Equivalence -- prove equivalence between two programs
@@ -198,15 +198,15 @@ data Command w
       , maxIterations :: w ::: Maybe Integer            <?> "Number of times we may revisit a particular branching point"
       , askSmtIterations :: w ::: Maybe Integer         <?> "Number of times we may revisit a particular branching point before we consult the smt solver to check reachability (default: 5)"
       }
-  | BcTest -- Run an Ethereum Blockhain/GeneralState test
+  | BcTest -- Run an Ethereum Blockchain/GeneralState test
       { file      :: w ::: String    <?> "Path to .json test file"
       , test      :: w ::: [String]  <?> "Test case filter - only run specified test method(s)"
       , debug     :: w ::: Bool      <?> "Run interactively"
       , jsontrace :: w ::: Bool      <?> "Print json trace output at every step"
       , diff      :: w ::: Bool      <?> "Print expected vs. actual state on failure"
       , timeout   :: w ::: Maybe Int <?> "Execution timeout (default: 10 sec.)"
       }
-  | Compliance -- Run Ethereum Blockhain compliance report
+  | Compliance -- Run Ethereum Blockchain compliance report
       { tests   :: w ::: String       <?> "Path to Ethereum Tests directory"
       , group   :: w ::: Maybe String <?> "Report group to run: VM or Blockchain (default: Blockchain)"
       , match   :: w ::: Maybe String <?> "Test case filter - only run methods matching regex"

src/hevm/src/EVM/ABI.hs

@@ -21,7 +21,7 @@
 
   Nested sequences are encoded recursively with no special treatment.
 
-  Calldata args are encoded as heterogenous sequences sans length prefix.
+  Calldata args are encoded as heterogeneous sequences sans length prefix.
 
 -}