[Termtools] Jambox final version

[Jörg Endrullis]

Dear Claude, Dear Hans, Dear Johannes,

thank you for organizing the competition.

The new Jambox version is unfortunately not yet finished,
therefore I submit basically the 2006 version.

The only modification is a bug fix, thanks to Peter Schneider-Kamp who
pointed out the bug. It affected innermost dependency graph
approximation of term rewritings systems that are non-collapsing and
non-left-linear and non-right-linear.

Attached is only the jambox2f.jar since all the other libs are equal the
the preliminary version. The jambox2f.jar should be placed in the Jambox
lib/ directory. In the runme script  jambox2e.jar has to be changed to
jambox2f.jar accordingly.

Kind regards,
Jörg Endrullis

Claude Marché wrote:
> As for previous editions, I'm currently "qualification rounds" to
> check whether tools are running correctly. The results are available
> on the web page :
> 
> http://www.lri.fr/~marche/termination-competition/2007/
> 
> I'm still facing difficulties: minor problems with aprove and TTT2,
> and a major difficulty with TPA and Rainbow.
> 
> These must be solved before actually running the competition, so I
> expect some delay. Therefore, I give some extra delays for sending the
> final versions of tools: they must reach me on monday morning, June
> 4th, before 7am, GMT time. Same delay for sending secret problems.
> I will start competition as soon as everything is OK.
> 
> In the meantime, I can run some extra tests on qualification rounds:
> if there is one particular example you would like me to run to test
> your tools, I can do it: just send me the name of the corresponding
> file in the TPDB 4.0.
> 
> - Claude
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: jambox2f.jar
Type: application/x-java-archive
Size: 254084 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20070603/b743941d/jambox2f-0001.jar