| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - Fix Registration URL for download | Martin Wilke | 2006-11-13 | 1 | -1/+1 |
| | | | | | | | | | | PR: ports/105446 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Reported by: Kris Kennaway Notes: svn path=/head/; revision=177155 | ||||
| * | - Update to 4.0.2 | Rong-En Fan | 2006-09-15 | 5 | -50/+46 |
| | | | | | | | | | PR: ports/103246 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Notes: svn path=/head/; revision=173101 | ||||
| * | Fix IGNORE[a]nce if distfile has not yet been downloaded | Volker Stolz | 2005-12-08 | 1 | -11/+2 |
| | | | | | Notes: svn path=/head/; revision=150666 | ||||
| * | Uppaal is an integrated tool environment for modeling, validation | Volker Stolz | 2005-11-16 | 7 | -0/+142 |
| 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 Notes: svn path=/head/; revision=148445 | |||||
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |