VerifyTAPN

lp:verifytapn/1.2

Created by Jiri Srba on 2012-10-17 and last modified on 2013-04-30

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

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

150. By Jiri Srba on 2013-04-30: This is the 1.2 version released with TAPAAL 2.3.0
149. By Jiri Srba on 2013-04-30: updated the compile script for mac so that it is compatible up to 10.6 (snow leopard)
148. By Jiri Srba on 2012-10-17: This is the release version 1.2.0
147. By Jiri Srba on 2012-07-06: merged with branch adding transition statistics
146. By Jiri Srba on 2012-06-30: merged in the branch mem-fix-bug-1013526 fixing a memory issue for transitions
with no input arcs.
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

»

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