| non port: devel/uppaal/distinfo |
Number of commits found: 6 |
|
Sunday, 3 Jul 2011
|
14:59 ohauer 
-remove MD5
 |
|
Tuesday, 20 Oct 2009
|
09:50 miwi
- Update to 4.0.10
PR: 139738
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
|
Saturday, 10 Jan 2009
|
15:27 miwi
- Update to 4.0.7
PR: 129607
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
|
Wednesday, 11 Apr 2007
|
20:11 miwi
- Update to 4.0.6
PR: 111446
Submitted by: Timothy Bourke <timbob@bigpond.com>
|
|
Friday, 15 Sep 2006
|
09:07 rafan
- Update to 4.0.2
PR: ports/103246
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
|
|
Wednesday, 16 Nov 2005
|
09:25 vs
Uppaal is an integrated tool environment for modeling, validation
and verification of real-time systems modeled as networks of timed
automata, extended with data types (bounded integers, arrays, etc.).
The tool is developed in collaboration between the Department of
Information Technology at Uppsala University, Sweden and the
Department of Computer Science at Aalborg University in Denmark.
WWW: http://www.uppaal.com/
PR: ports/84975
Submitted by: Timothy Bourke
|
Number of commits found: 6 |
As an Amazon Associate I earn from qualifying purchases.