Fix spelling and punctuation

Author: Owen Jones

src/analyses/ai.cpp

@@ -86,7 +86,7 @@ jsont ai_baset::output_json(
 }
 
 /// Output the domains for a single function as JSON
-/// \par parameters: The namespace, goto_program and it's identifier
+/// \par parameters: The namespace, goto_program and its identifier
 /// \return The JSON object
 jsont ai_baset::output_json(
   const namespacet &ns,
@@ -145,7 +145,7 @@ xmlt ai_baset::output_xml(
 }
 
 /// Output the domains for a single function as XML
-/// \par parameters: The namespace, goto_program and it's identifier
+/// \par parameters: The namespace, goto_program and its identifier
 /// \return The XML object
 xmlt ai_baset::output_xml(
   const namespacet &ns,
@@ -341,7 +341,7 @@ bool ai_baset::do_function_call(
 
   if(!goto_function.body_available())
   {
-    // if we don't have a body, we just do an edige call -> return
+    // if we don't have a body, we just do an edge call -> return
     std::unique_ptr<statet> tmp_state(make_temporary_state(get_state(l_call)));
     tmp_state->transform(
       calling_function_identifier,

src/analyses/ai.h

@@ -25,7 +25,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "ai_domain.h"
 
-/// The basic interface of an abstract interpreter.  This should be enough
+/// The basic interface of an abstract interpreter. This should be enough
 /// to create, run and query an abstract interpreter.
 // don't use me -- I am just a base class
 // use ait instead

src/analyses/ai_domain.h

@@ -46,7 +46,7 @@ class ai_domain_baset
   ///    (this also needs to set the LHS, if applicable)
   ///
   /// "this" is the domain before the instruction "from"
-  /// "from" is the instruction to be interpretted
+  /// "from" is the instruction to be interpreted
   /// "to" is the next instruction (for GOTO, FUNCTION_CALL, END_FUNCTION)
   ///
   /// PRECONDITION(from.is_dereferenceable(), "Must not be _::end()")