VerifyTAPN

lp:verifytapn

Created by Morten Jacobsen and last modified
Get this branch:
bzr branch lp:verifytapn
Members of VerifyTAPN can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
VerifyTAPN
Project:
VerifyTAPN
Status:
Development

Recent revisions

153. By Jiri Srba <email address hidden>

added compiles scripts for mac that work in 2017

152. By Jiri Srba <email address hidden>

updated UPPAAL-dbm-2.0.8 archive to compile for mac in 2017

151. By Jiri Srba

added UPPAAL DBL library

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)
This branch contains Public information 
Everyone can see this information.