Permalink
Browse files

made some minor edits to info files

  • Loading branch information...
1 parent db37ac6 commit 9e93202b9eac9ecd99f4973b33545959c8d18c73 @hellovijay hellovijay committed Aug 28, 2009
Showing with 91 additions and 34 deletions.
  1. +39 −0 AUTHORS
  2. +13 −0 DOWNLOAD
  3. +20 −12 INSTALL
  4. +8 −0 LICENSE
  5. +11 −22 README
View
39 AUTHORS
@@ -0,0 +1,39 @@
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)
+ *
+ * AUTHORS: Vijay Ganesh
+ *
+ * BEGIN DATE: November, 2005
+ *
+ * LICENSE: Please view LICENSE file in the home dir of this Program
+ ********************************************************************/
+
+
+Primary Author
+--------------
+Vijay Ganesh, Stanford University, Stanford, CA, USA (Nov, 2005 to 2007), MIT (Oct, 2007 to present)
+
+
+
+Other Significant Author
+------------------------
+Trevor Alexander Hansen, University of Melbourne, Australia (Sep, 2008 - present)
+
+
+
+Authors who contributed some code
+---------------------------------------
+David L. Dill, Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
+Michael Katelman, University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)
+Tim King, Stanford University, Stanford, CA, USA (July - Sep, 2007)
+Philip Guo, Stanford University, Stanford, CA, USA (Dec 2008 - Jan 2009)
+
+
+Following authors provided some code to Makefiles and configuration scripts
+---------------------------------------------------------------------------
+Cristian Cadar, Stanford University, Stanford, CA, USA
+Paul Twohey, Stanford University, Stanford, CA, USA
+Sergey Berezin, ATG Synopsys, Mountain View, CA, USA
+Clark Barrett, New York University, New York, NY, USA
+
+
View
@@ -0,0 +1,13 @@
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)
+ *
+ * AUTHORS: Vijay Ganesh
+ *
+ * BEGIN DATE: November, 2005
+ *
+ * LICENSE: Please view LICENSE file in the home dir of this Program
+ ********************************************************************/
+
+svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp
+
+
View
32 INSTALL
@@ -1,20 +1,28 @@
-1. To install STP perform the following steps on your
-Unix/GNU-Linux/MacOS X commandline:
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)
+ *
+ * AUTHORS: Vijay Ganesh
+ *
+ * BEGIN DATE: November, 2005
+ *
+ * LICENSE: Please view LICENSE file in the home dir of this Program
+ ********************************************************************/
-./clean-install.sh
+1. To install STP:
-2. To test the system after installation, you will need to download
-the regression tests. The regression are 190MB big, so are stored
-separately. To download them, try something like:
+ ./clean-install.sh
-svn co
-https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests/test
-The directory of the regression tests is hard-coded in /bin/run_tests,
-which you may need to update, depending on where you checkout the
-regression tests to.
-To run the regression tests: make regressall
+2. Download large tests:
+
+ svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests/test
+
+
+
+3. Run tests:
+
+ make regressall
NB:
View
@@ -1,3 +1,11 @@
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)
+ *
+ * AUTHORS: Vijay Ganesh
+ *
+ * BEGIN DATE: November, 2005
+ ********************************************************************/
+
The MIT License
Copyright (c) 2008 Vijay Ganesh
View
33 README
@@ -8,31 +8,20 @@
* LICENSE: Please view LICENSE file in the home dir of this Program
********************************************************************/
-Install
+INSTALL
-------
See INSTALL file in the home dir of this program
-Primary Author
---------------
-Vijay Ganesh, Stanford University, Stanford, CA, USA (Nov, 2005 to present)
-
-Other Significant Author
-------------------------
-Trevor Alexander Hansen, University of Melbourne, Australia (Sep, 2008 - present)
-
-
+LICENSE
+-------
+See LICENSE file in the home dir of this program
-Authors who contributed some code
----------------------------------------
-David L. Dill, Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
-Michael Katelman, University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)
-Tim King, Stanford University, Stanford, CA, USA (July - Sep, 2007)
-Philip Guo, Stanford University, Stanford, CA, USA (Dec 2008 - Jan 2009)
+WEBSITE
+-------
+http://sourceforge.net/projects/stp-fast-prover/
+http://people.csail.mit.edu/vganesh/stp.html
-Makefiles and configuration scripts
-------------------------------------
-Cristian Cadar, Stanford University, Stanford, CA, USA
-Paul Twohey, Stanford University, Stanford, CA, USA
-Sergey Berezin, ATG Synopsys, Mountain View, CA, USA
-Clark Barrett, New York University, New York, NY, USA
+DOCUMENTATION
+-------------
+http://people.csail.mit.edu/vganesh/STP_files/stp-docs.html

0 comments on commit 9e93202

Please sign in to comment.