[Golok-commit] SF.net SVN: golok:[24] trunk

[<sr...@us...>]

Revision: 24
          http://golok.svn.sourceforge.net/golok/?rev=24&view=rev
Author:   sralmai
Date:     2010-03-25 16:20:53 +0000 (Thu, 25 Mar 2010)

Log Message:
-----------
[RELEASE PACKAGING]: version 1.2 candidate

Modified Paths:
--------------
    trunk/README
    trunk/golok.scm

Modified: trunk/README
===================================================================
--- trunk/README	2010-03-25 15:06:29 UTC (rev 23)
+++ trunk/README	2010-03-25 16:20:53 UTC (rev 24)
@@ -1,13 +1,37 @@
 README
 ------
 
-README		this file
-examples/	various example inputs to the program
+Golok is an automated tool for discovering the cut-off 
+system instance size of parameterized systems.
 
-To run the examples, execute
+FILES
+-----
 
-	./golok <example file>
+README		  this file
+examples/	  various example inputs to the program
+bin/        contains golok binary 
+lib/        support files
 
+
+AUTHOR
+------
+David Samuelson
+sr...@ia...
+
+Please include "[Golok]" in the subject line.
+
+INSTALL
+-------
+Unpack golok-vx.x.tar.bz2.
+
+The binary was built on a Fedora 10 (Cambridge) x86 machine.
+It *should* work on most modern x86 GNU/Linux distributions.
+   
+To run an example and output the simulating subset of the 
+system instance, execute
+
+	./golok --sys <example file>
+
 You probably want to use GraphViz (http://www.graphviz.org)
 to convert the .dot output files to images. Then you can 
 run a command like
@@ -17,37 +41,35 @@
 to see the simulating subgraph of the solution as an svg 
 graphic.
 
-AUTHOR
-------
-David Samuelson
-sr...@ia...
+Execute 
 
-INSTALL
--------
-Unpack golok-vx.x.tgz.
+  ./golok --help 
 
-compile the tool using the mzscheme compiler
-(included in PLT Scheme)
+to see all command line options, and see the documentation
+at http://www.cs.iastate.edu/~slede/golok/ for more 
+detailed usage of the tool.
 
-mzc --exe golok golok.scm
+NEWS
+---------
+v1.2
+----
+ * input format modified
 
-For example, to supress output of 1e models and dump 
-program output into the directory "output", use
+ * many new command line options
 
-./golok -- --no-1e -o output <amf file> 
+ * internals cleaned
 
-ChangeLog
+ * default behavior changed
+
 ---------
-v0.1.3.0
+v1.1.2
 ------
- * first published on sourceforge
+ * moved to sourceforge
 
  * complete rewrite of low-level logic
 
- * versioning bump
-
 ---------
-v1.2.0
+v1.1.1
 ------
  * added support for multiple parameterized processes
 
@@ -99,4 +121,5 @@
 ----
 None known.
 
-Please contact the author with a description of the problem if you discover a bug.
+Please file a bug report at http://sourceforge.net/projects/golok/support if 
+you discover a problem.

Modified: trunk/golok.scm
===================================================================
--- trunk/golok.scm	2010-03-25 15:06:29 UTC (rev 23)
+++ trunk/golok.scm	2010-03-25 16:20:53 UTC (rev 24)
@@ -8,7 +8,7 @@
   (require scheme/cmdline)
   
   ;; version header -- should be in form vx.y.z(-tag)
-  (define version "v0.1.4.0")
+  (define version "v1.2.0")
   
   ; parsed values of command line arguments
   ; currently size 11


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.