Uppaal Timed Automata Parser Library 0.90 review

Uppaal Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. Requirements: · gcc (2.95.3 or newer) · lib

License: LGPL (GNU Lesser General Public License) File size: 486K Developer: Gerd Behrmann

0

Uppaal Timed Automata Parser Library (libutap) is the parser library used by UPPAAL.

Requirements:
gcc (2.95.3 or newer)
libxml2 (2.6.0 or newer)
GNU make (3.79 works fine; other versions of make may work, but have not been tested)
flex - optional (2.5.4a works fine)
bison - optional (1.35 works, 1.28 does not)
gperf - optional (2.7.2 works fine)
doxygen - optional (1.3-rc3 works fine)

Installation:

libutap uses automake and autoconf to generate make files and configure the build process. To configure and install the library, simply run:

./configure
make
make install

You may want to specify an alternative installation path using the --prefix option.

What's New in This Release:
This is the release used in UPPAAL 3.6 Beta 3.
It contains lots of minor bugfixes, code cleanup, and support for the latest UPPAAL language extension.
An example parser for the new UPPAAL intermediate format is also included.