This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 313

Summary:	Dead links
Product:	Web page	Reporter:	Ulrik Nyman <ulrik>
Component:	Misc	Assignee:	John Håkansson <johnh>
Status:	ASSIGNED ---
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
URL:	http://www.it.uu.se/research/group/darts/uppaal/benchmarks
Architecture:

Description Ulrik Nyman 2006-04-20 13:01:57 CEST

A lot of the links to the .ta files on this page are dead.

Comment 1 John Håkansson 2006-04-28 10:29:37 CEST

unfortunately we have not been able to recover the files that are missing.
Does anyone have copies?

Comment 2 John Håkansson 2006-04-28 10:42:49 CEST

In particular, the following models are missing: bopdp, bopdpFIXED, and philaudio.
Again, if anyone has a copy of any of these we would be happy to receive it.