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.
 
 -}