lp:~tapaal-contributor/verifypn/unfoldTACPN

Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/verifypn/unfoldTACPN
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
verifypn
Status:
Abandoned

Recent revisions

240. By Thomas Pedersen <email address hidden>

Fix parsing of useroperators

239. By Thomas Pedersen <email address hidden>

Remove expressions from inhibitor arcs and handle .all in tuples

238. By Thomas Pedersen <email address hidden>

Handle inhibitor arcs in CPNs

237. By Thomas Pedersen <email address hidden>

Use same query writing method

236. By Thomas Pedersen <email address hidden>

Expand timed net detection and handle missing invariants

235. By Thomas Pedersen <email address hidden>

Add colortype to dot colors and fix writing of arc weights

234. By Thomas Pedersen <email address hidden>

Merge with trunk

233. By Thomas Pedersen <email address hidden>

Adjust model and query output to work with gui

232. By Thomas Pedersen <email address hidden>

Fix some errors when passing colored net from GUI and creating reduced query

231. By Thomas Pedersen <email address hidden>

Fix parser check for time

Branch metadata

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