2014-01-01 21:04:37 +04:00
|
|
|
This is GF-Complete, Revision 1.02. January 1, 2014.
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2014-01-30 01:37:12 +04:00
|
|
|
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)
|
|
|
|
|
2014-12-25 13:51:38 +03:00
|
|
|
The user's manual is in the file Manual.pdf. You may also get a copy of that
|
|
|
|
manual at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf.
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2013-12-30 22:42:50 +04:00
|
|
|
The online home for GF-Complete is:
|
2013-12-05 09:27:29 +04:00
|
|
|
|
|
|
|
- https://bitbucket.org/jimplank/gf-complete
|
2013-12-30 22:42:50 +04:00
|
|
|
|
2014-01-30 01:05:14 +04:00
|
|
|
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.
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2013-12-30 02:01:42 +04:00
|
|
|
To compile, do:
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2014-03-19 01:24:37 +04:00
|
|
|
./autogen.sh
|
2013-12-30 02:01:42 +04:00
|
|
|
./configure
|
|
|
|
make
|
2014-01-30 01:05:14 +04:00
|
|
|
sudo make install
|
2014-03-29 14:51:27 +04:00
|
|
|
|
|
|
|
To run the tests, do:
|
|
|
|
|
|
|
|
make check
|