OSDN -- Desenvolver e Download de Software Open Source
Estado tradução de Português translation status for pt

RSS
Download List

Projeto Descrição

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.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2007-03-03 03:28
0.91

Tags: Minor feature enhancements

2006-04-29 22:57
0.90

Esta é a versão utilizada em UPPAAL 3,6 Beta 3. Ela contém muitas correções de bugs menores, limpeza de código e suporte para a extensão mais recente linguagem UPPAAL. Analisador Um exemplo para o novo formato UPPAAL intermediário também está incluído.
Tags: Minor bugfixes
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.

2005-11-23 14:46
0.80

Esta é a versão do analisador utilizado em UPPAAL 3,6 Alpha 1 e no UPPAAL CORA 051027. Além de bugfixes, esta versão inclui suporte para análise de modelos CORA.
Tags: Minor bugfixes
This is the version of the parser used in UPPAAL
3.6 Alpha 1 and in UPPAAL CORA 051027. Besides
bugfixes, this release contains support for
parsing CORA models.

2005-02-18 13:15
0.70

Esta versão traz correções de bugs e melhorias nas extensões de linguagem C.
Tags: Minor feature enhancements
This release features bugfixes and improvements in the C
language extensions.

2004-06-17 12:18
0.60

Esta versão é um backport da versão em desenvolvimento. Ele contém correções de bugs e um monte de limpeza de código.
Tags: Major bugfixes
This release is a backport of the development version. It
contains bugfixes and a lot of code cleanups.

Project Resources

Project Page Home Page Download: TGZ