lp:~tapaal-contributor/verifypn/unfoldTACPN

Created by Peter Haahr Taankvist on 2020-08-29 and last modified on 2021-04-12
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:
Development

Recent revisions

239. By Thomas Pedersen <email address hidden> 56 minutes ago

Remove expressions from inhibitor arcs and handle .all in tuples

238. By Thomas Pedersen <email address hidden> 4 hours ago

Handle inhibitor arcs in CPNs

237. By Thomas Pedersen <email address hidden> on 2021-04-08

Use same query writing method

236. By Thomas Pedersen <email address hidden> on 2021-03-11

Expand timed net detection and handle missing invariants

235. By Thomas Pedersen <email address hidden> on 2021-02-25

Add colortype to dot colors and fix writing of arc weights

234. By Thomas Pedersen <email address hidden> on 2020-12-18

Merge with trunk

233. By Thomas Pedersen <email address hidden> on 2020-12-18

Adjust model and query output to work with gui

232. By Thomas Pedersen <email address hidden> on 2020-12-11

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

231. By Thomas Pedersen <email address hidden> on 2020-11-20

Fix parser check for time

230. By Thomas Pedersen <email address hidden> on 2020-11-20

Merge with trunk

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.