Misc documentation tweaks

Author: eschulte

LICENSE

@@ -11,7 +11,7 @@ it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 3 of the License, or
 (at your option) any later version.
 
-This program is distributed AS-IS, WITHOUT ANY WARRANTY, express or 
+This program is distributed AS-IS, WITHOUT ANY WARRANTY, express or
 implied, including, but not limited to the WARRANTY OF MERCHANTABILITY
 or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.  The copyright holders hereby disclaim all warranties.
@@ -23,11 +23,11 @@ special, consequential, indirect or similar damages.
 You should have received a copy of the GNU General Public License
 along with this program; if not, write to the Free Software Foundation,
 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA.  On
-the initial date of release of this software, a copy can be found at 
+the initial date of release of this software, a copy can be found at
 the following location:
 
 https://www.gnu.org/licenses/gpl-3.0.en.html
 
 If you have any questions, please contact:
-Eric Schulte or in writing at:
-GrammaTech, Inc., attn: Eric Schulte, 531 Esty Street, Ithaca, NY 14850 
+Eric Schulte - [email protected] or in writing at:
+GrammaTech, Inc., attn: Eric Schulte, 531 Esty Street, Ithaca, NY 14850

README.md

@@ -4,30 +4,10 @@ The SOFTWARE-EVOLUTION-LIBRARY enables the programmatic modification
 and evaluation of extant software.
 
 A common interface abstracts over multiple types of software objects
-including abstract syntax trees parsed from source code, LLVM IR,
-compiled assembler, and linked ELF binaries.  Mutation and evaluation
-methods are implemented on top of this interface supporting Search
-Based Software Engineering (SBSE) techniques.
+including abstract syntax trees parsed from source code (C/C++ support
+using Clang), compiled assembler, and linked ELF binaries.  Mutation
+and evaluation methods are implemented on top of this interface
+supporting automation of common software engineering tasks through
+Search Based Software Engineering (SBSE) techniques.
 
-This library has been used to optimize benchmark programs (see
-https://github.com/eschulte/goa) and to patch vulnerabilities in
-closed source binaries (see http://eschulte.github.io/netgear-repair).
-
-See the info manual for more information.  Available in the `doc/`
-directory and at http://GrammaTech.github.io/sel (*pending*).
-
-Please cite Eric Schulte's Ph.D. dissertation when you publish results
-that you have obtained with the SOFTWARE-EVOLUTION-LIBRARY.
-
-```bibtex
-@phdthesis{schulte2014dissertation,
-  author  = {Eric Schulte},
-  title   = {Neutral Networks of Real-World Programs and their
-                  Application to Automated Software Evolution},
-  school  = {University of New Mexico},
-  address = {Albuquerque, USA},
-  month   = {July},
-  year    = {2014},
-  note    = {https://cs.unm.edu/~eschulte/dissertation}
-}
-```
+See the manual, available at http://GrammaTech.github.io/sel.

doc/sel-api.texi

@@ -351,7 +351,7 @@ More information about the tokenizer component is provided in section
 @include include/fun-sel-mutant.texinfo
 @include include/fun-sel-pareto-selector.texinfo
 @c TEST SUITES @include include/fun-sel-process-exit-code.texinfo
-@include include/fun-sel-replace-fields-in-snippet.texinfo
+@c @include include/fun-sel-replace-fields-in-snippet.texinfo
 @include include/fun-sel-rinard.texinfo
 @include include/fun-sel-rinard-incremental.texinfo
 @include include/fun-sel-rinard-read-in.texinfo

doc/software-evolution-library.texi

@@ -1,5 +1,3 @@
-\Input texinfo
-@c @setfilename emacs-web-server.info
 @documentencoding utf-8
 @settitle Software Evolution Library
 
@@ -114,11 +112,6 @@ Mutation and evaluation methods (@pxref{Software Methods}) are
 implemented on top of this interface supporting Search Based Software
 Engineering (SBSE) techniques (@pxref{Search Functions}).
 
-This library has been used to optimize benchmark programs (see
-@url{https://github.com/eschulte/goa}) and to patch vulnerabilities in
-closed source binaries (see
-@url{http://eschulte.github.io/netgear-repair}).
-
 
 @section How is it used?
 
@@ -198,8 +191,8 @@ evolutionary search and automated software manipulation.
 @itemize
 
 @item
-Multiple evolution techniques including generational or Monte Carlo
-Markov chain.
+Multiple search techniques including steady-state and generational
+evolution or Markov chain Monte Carlo (MCMC).
 
 @item
 New mutations tailored to each software object.
@@ -648,7 +641,7 @@ natural selection.
 
 @anchor{mcmc}
 @defun mcmc original test &key accept-fn max-evals max-time target period period-fn every-fn filter
-Preform Markov chain Monte Carlo search from the supplied
+Perform Markov chain Monte Carlo search from the supplied
 @code{ORIGINAL} software object using the supplied @code{TEST}
 function to evaluate the fitness of software objects.  The fitness
 returned by the @code{test} function is optimized.