blob: 9a8689652e6a16c88e12e2e80c0e27014c692928 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
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 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.
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
|
