uppaal 4.0.7 devel =0

IGNORE: Please download uppaal-4.0.7-aca.zip into /usr/ports/distfiles/ from:\n\thttp://www.it.uu.se/research/group/darts/uppaal/download.shtml\n
RESTRICTED: Downloading requires completion of a license agreement
Tool environment for modeling and verifying timed automata
Maintained by: timbob@bigpond.com
Port Added: 16 Nov 2005 09:27:07
Also Listed In: java linux

---

---

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/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

Required To Run: java/diablo-jdk16, emulators/linux_base-fc4

---

To install the port: cd /usr/ports/devel/uppaal/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

---

Configuration Options

     No options to configure

---

Master Sites:

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

- Update to 4.0.7

PR:             129607
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)

Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)

- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

Make sysctl check less noisy if compat.linux.osrelease doesn't exist.
Noticed by: INDEX build failure messages

PR:             ports/111524
Submitted by:   Edwin Groothuis <edwin@>
Reviewed by:    Rong-En Fan <rafan@>
Approved by:    Timothy Bourke <timbob@bigpond.com>

- Update to 4.0.6

PR:             111446
Submitted by:   Timothy Bourke <timbob@bigpond.com>

- Fix Registration URL for download

PR:             ports/105446
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by:    Kris Kennaway

- Update to 4.0.2

PR:             ports/103246
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

Fix IGNORE[a]nce if distfile has not yet been downloaded

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

6 vulnerabilities affecting 11 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities