Fix several typos in code comments

libsolidity/formal/BMC.cpp

@@ -376,7 +376,7 @@ bool BMC::visit(WhileStatement const& _node)
 			auto indices = copyVariableIndices();
 			_node.condition().accept(*this);
 			loopCondition = expr(_node.condition());
-			// asseert that the loop is complete
+			// assert that the loop is complete
 			m_context.addAssertion(!loopCondition || broke || !loopConditionOnPreviousIterations);
 			mergeVariables(
 				broke || !loopConditionOnPreviousIterations,

libsolutil/CommonData.h

@@ -575,7 +575,7 @@ void iterateReplacingWindow(std::vector<T>& _vector, F const& _f)
 	detail::iterateReplacingWindow(_vector, _f, std::make_index_sequence<N>{});
 }
 
-/// @returns true iff @a _str passess the hex address checksum test.
+/// @returns true iff @a _str passes the hex address checksum test.
 /// @param _strict if false, hex strings with only uppercase or only lowercase letters
 /// are considered valid.
 bool passesAddressChecksum(std::string const& _str, bool _strict);

libyul/AsmParser.h

@@ -140,7 +140,7 @@ class Parser: public langutil::ParserBase
 	/// Parses a functional expression that has to push exactly one stack element
 	Expression parseExpression();
 	/// Parses an elementary operation, i.e. a literal, identifier, instruction or
-	/// builtin functian call (only the name).
+	/// builtin function call (only the name).
 	std::variant<Literal, Identifier> parseLiteralOrIdentifier();
 	VariableDeclaration parseVariableDeclaration();
 	FunctionDefinition parseFunctionDefinition();