Name Last Update
examples Loading commit data...
include Loading commit data...
m4 Loading commit data...
src Loading commit data...
test Loading commit data...
tools Loading commit data...
.gitignore Loading commit data...
AUTHORS Loading commit data...
COPYING Loading commit data...
ChangeLog Loading commit data...
License.txt Loading commit data...
Makefile.am Loading commit data...
NEWS Loading commit data...
README Loading commit data...
README.txt Loading commit data...
autogen.sh Loading commit data...
compile Loading commit data...
configure.ac Loading commit data...
depcomp Loading commit data...
test-driver Loading commit data...

README

This is GF-Complete, Revision 1.02. January 1, 2014.

Authors: James S. Plank (University of Tennessee)
Ethan L. Miller (UC Santa Cruz)
Kevin M. Greenan (Box)
Benjamin A. Arnold (University of Tennessee)
John A. Burnum (University of Tennessee)
Adam W. Disney (University of Tennessee,
Allen C. McBride (University of Tennessee)

The programmer's manual and tutorial is provided in two places:

1.) A copy is hosted on BitBucket at https://bitbucket.org/jimplank/gf-complete/downloads/GF-Complete-Manual.pdf
2.) A copy is also available at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf

The online home for GF-Complete is:

- https://bitbucket.org/jimplank/gf-complete

If you want to cite GF-Complete in a paper, I suggest citing the
technical report version. The precise citation information for that
is in http://www.cs.utk.edu/~plank/plank/papers/CS-13-716.html.

To compile, do:

./autogen.sh
./configure
make
sudo make install

To run the tests, do:

make check