Programmatic modification and evaluation of software
Clone or download
Paul Dietz
Paul Dietz Export map-ast-strings from sel/sw/ast
This function is used some new code in bug injector.
Latest commit f6bd4a7 Jan 12, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
.ci Fix sb-texinfo to handle methods with `?'s Jan 8, 2019
ast-diff Rename ? to -p in ast-meld? and ast-class-meld? Jan 8, 2019
bin Support for automated format checking Jun 19, 2018
components Replace mysterious use of merge-pathnames Dec 18, 2018
doc Add new changes to ChangeLog Dec 18, 2018
software Export map-ast-strings from sel/sw/ast Jan 11, 2019
test Fix clang-project collect-evolve-files :before Dec 19, 2018
.gitignore Remove sel/sw/lisp-fn from docs & add sel/sw/sexp Dec 11, 2018
.lisp-format Fix indentation for two docstrings Sep 1, 2018
COPYING initial commit: stubbing out a package for software evolution Oct 19, 2011
LICENSE Misc documentation tweaks Jan 24, 2018
Makefile Remove sel/sw/lisp-fn from docs & add sel/sw/sexp Dec 11, 2018 Drop "extant," pretentious and adds no real value Jan 24, 2018 The bin-check make targets require test-artifacts Dec 11, 2018
command-line.lisp Rm BI-specific comment from sel/command-line doc Dec 20, 2018
rest.lisp Added some additional dependencies needed for REST API Dec 12, 2018
software-evolution-library.asd Unify diff/merge executables across languages Dec 11, 2018
software-evolution-library.lisp Add major version to SEL version, currently 0.1.0 Nov 22, 2018
stefil-plus.lisp Strip trailing whitespace Dec 11, 2018
test.lisp Improve merge alg. with conflict markers in diffs Jan 8, 2019
utility.lisp Improve merge alg. with conflict markers in diffs Jan 8, 2019
view.lisp WIP: Software/ compiles (but coq) Nov 21, 2018


The SOFTWARE-EVOLUTION-LIBRARY enables the programmatic modification and evaluation of software.

A common interface abstracts over multiple types of software objects 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.

See the manual, available at