kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
166434 commits 42 branches 80 tags 2.7 GiB
Commit graph

4 commits

Author SHA1 Message Date
Martin Wilke
537d1372f9 - Fix Registration URL for download 
PR:		ports/105446
Submitted by:	Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by:    Kris Kennaway
 2006-11-13 01:33:41 +00:00
Rong-En Fan
d0d1fb196c - Update to 4.0.2 
PR:		ports/103246
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
 2006-09-15 09:07:16 +00:00
Volker Stolz
ca9f7390f7 Fix IGNORE[a]nce if distfile has not yet been downloaded 2005-12-08 14:02:20 +00:00
Volker Stolz
da59b4c557 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
 2005-11-16 09:25:52 +00:00