lp:verifytapn/1.3

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifytapn/1.3
Members of verifytapn-contributers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifytapn-contributers
Project:
VerifyTAPN
Status:
Mature

Recent revisions

153. By Jiri Srba

Released version of 1.3.0

152. By Jiri Srba <email address hidden>

added new compile scripts for mac 64 and mac 32 version

151. By Jiri Srba

This is the 1.3.0 released version of the engine

150. By Jiri Srba

increased version number to 1.3.0

149. By Jiri Srba

merged in branch adding arithmetic queries

148. By Jiri Srba

updated the compile script for mac so that it is compatible up to 10.6 (snow leopard)

147. By Jiri Srba

merged with branch adding transition statistics

146. By Jiri Srba

merged in the branch mem-fix-bug-1013526 fixing a memory issue for transitions
with no input arcs.

145. By Jiri Srba

Merged query-normalization branch

144. By Jiri Srba

shortened the message about removal of orphan transitions

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifytapn
This branch contains Public information 
Everyone can see this information.