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

19:56 UTC

[Project]

UPPAAL Timed Automata Parser Library 0.30 (Default)

Section: Unix

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

Updated: Fri, Mar 2nd 2007 18:28 UTC (1 year, 6 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.

Release focus: Major bugfixes

Changes:
Many crashing bugs have been fixed and major parts of the library have been cleaned up. This is the version used in UPPAAL 3.4b2.

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 5435)
» Popularity: 0.44% (Rank 13260)

(click to enlarge graphs)

   Record hits: 6,260
   URL hits: 974
   Subscribers: 9

Projects depending on this project:
Uppaal TRON

Other projects from the same categories:
POCO C++ Libraries
liblProc
fPic
XAO Base
Power Form Validation

Users who subscribed to this project also subscribed to:
PHP Object Persistent Database
Tigerbooks
GNU Ocrad
FW1-Loggrabber
uShare

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