[Javapathfinder-devel] SF.net SVN: javapathfinder: [742] trunk

[<pcm...@us...>]

Revision: 742
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=742&view=rev
Author:   pcmehlitz
Date:     2008-02-05 15:04:14 -0800 (Tue, 05 Feb 2008)

Log Message:
-----------
* some left over doc updates

* empty event scripts caused parse exception, which they shouldn't

* revisited the unbounded REPEATs, but this is not functional yet. Needs to add a pseudo CG in EventGeneratorFactory,
which is used only to position in the CG queue. This would be some sort of a script insn, which we hadn't so far. Just
used simple unrolling to keep the backtracking simple, but of course that doesn't work with unbounded REPEATs

Modified Paths:
--------------
    trunk/doc/JPF_files/JPF-mod.css
    trunk/doc/home.html
    trunk/doc/news.html
    trunk/extensions/symbc/doc/index.html
    trunk/src/gov/nasa/jpf/util/script/ESParser.java

Added Paths:
-----------
    trunk/extensions/statechart/examples/Repeat.es
    trunk/extensions/statechart/examples/Repeater.java


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