VerifyTAPN

lp:verifytapn/1.1

Created by Jiri Srba on 2012-03-20 and last modified on 2012-07-23

Get this branch:: bzr branch lp:verifytapn/1.1

Only Jiri Srba can upload to this branch. If you are Jiri Srba please log in for upload directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Jiri Srba

Project:: VerifyTAPN

Status:: Mature

Recent revisions

148. By Jiri Srba on 2012-07-23: This is the released version 1.1.1.
147. By Jiri Srba on 2012-07-19: changed version number to 1.1.1
146. By Jiri Srba on 2012-07-06: added a fix for memory leak problem for nets with transitions that have empty preset
145. By Jiri Srba on 2011-12-01: Merged query-normalization branch
144. By Jiri Srba on 2011-10-08: shortened the message about removal of orphan transitions
143. By Morten Jacobsen on 2011-10-08: added warning message
142. By Jiri Srba on 2011-10-08: changed version number to 1.0.2
141. By Morten Jacobsen on 2011-10-08: removes orphan transitions to fix issues
140. By Morten Jacobsen on 2011-07-15: - Fixed bug #809860
- Changed version number to 1.0.1
139. By Jiri Srba on 2011-07-01: increased the version to 1.1.0 for the trunk version (next milestone)

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

This branch contains Public information

Everyone can see this information.

Subscribers