freshmeat.net: Project details for UPPAAL Timed Automata Parser Library

18:44 UTC

[Project]

UPPAAL Timed Automata Parser Library - Default branch

Section: Unix

Added: Tue, Feb 18th 2003 01:50 UTC (5 years, 5 months ago)

Updated: Fri, Mar 2nd 2007 18:28 UTC (1 year, 4 months ago)

About:
The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats.

Author:
Gerd Behrmann [contact developer]

Homepage:
http://www.cs.auc.dk/~behrmann/utap/
Tar/GZ:
http://www.cs.auc.dk/~behrmann/utap/libutap-0.91.tar.gz

Trove categories: [change]
[Development Status] 3 - Alpha
[Intended Audience] Developers
[License] OSI Approved :: GNU Lesser General Public License (LGPL)
[Operating System] Microsoft :: Windows, POSIX
[Programming Language] C++
[Topic] Software Development :: Libraries

Dependencies: [change]
No dependencies filed

Project admins: [change]
» Gerd Behrmann (Owner)

» Rating: (not rated)
» Vitality: 0.01% (Rank 5235)
» Popularity: 0.43% (Rank 13291)

(click to enlarge graphs)

   Record hits: 6,104
   URL hits: 970
   Subscribers: 9

Projects depending on this project:
Uppaal TRON

Other projects from the same categories:
NeatUpload
XML Security
Configuration File Library
CL-FTP
edtFTPj

Users who subscribed to this project also subscribed to:
EAP-TLS patch for pppd
tzls and tzx
Manitou-Mail
graphviz
iSQL-Viewer

Add comment · Rate this project · Subscribe to new releases · Ignore this project · Email this project to a friend · Project record in XML

Branches

Branch Version Last release License URLs

Default 0.91 03-Mar-2007 GNU Lesser General Public License (LGPL)

Releases

Version Focus Date

0.91 Minor feature enhancements 03-Mar-2007 02:28

0.90 Minor bugfixes 29-Apr-2006 20:57

0.80 Minor bugfixes 23-Nov-2005 13:46

0.70 Minor feature enhancements 18-Feb-2005 12:15

0.60 Major bugfixes 17-Jun-2004 10:18

0.50 Minor bugfixes 15-May-2004 11:31

0.40 Code cleanup 04-Jul-2003 12:52

0.30 Major bugfixes 06-Apr-2003 09:29

0.20 Initial freshmeat announcement 18-Feb-2003 13:03