From 323b891887c1caa2ba38bbfbae877d3c7f27c5c0 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Fri, 28 Aug 2009 21:38:48 +0000 Subject: [PATCH] made some minor edits to info files git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@158 e59a4935-1847-0410-ae03-e826735625c1 --- AUTHORS | 39 +++++++++++++++++++++++++++++++++++++++ DOWNLOAD | 13 +++++++++++++ INSTALL | 32 ++++++++++++++++++++------------ LICENSE | 8 ++++++++ README | 33 +++++++++++---------------------- 5 files changed, 91 insertions(+), 34 deletions(-) create mode 100644 AUTHORS create mode 100644 DOWNLOAD diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 0000000..d91463b --- /dev/null +++ b/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 + + diff --git a/DOWNLOAD b/DOWNLOAD new file mode 100644 index 0000000..790fd9e --- /dev/null +++ b/DOWNLOAD @@ -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 + + diff --git a/INSTALL b/INSTALL index 99626a3..c19d047 100644 --- a/INSTALL +++ b/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: diff --git a/LICENSE b/LICENSE index 7e026a4..0891de8 100644 --- a/LICENSE +++ b/LICENSE @@ -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 diff --git a/README b/README index f07f753..9efd76a 100644 --- a/README +++ b/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 -- 2.47.3