lp:~marmux/tapaal/tapaal-export-por

Created by muniz on 2019-03-29 and last modified on 2020-06-10
Get this branch:
bzr branch lp:~marmux/tapaal/tapaal-export-por
Only muniz can upload to this branch. If you are muniz please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
muniz
Project:
TAPAAL
Status:
Development

Recent revisions

1014. By muniz on 2020-06-10

adding hack for _unc_ transitions

1013. By muniz on 2020-06-09

adding compatibility to 1.7

1012. By muniz on 2019-04-12

adding kbound to .opt files

1011. By muniz on 2019-04-10

exporting query options

1010. By muniz on 2019-04-10

generating multiple queries

1009. By muniz on 2019-04-10

renaming places in query

1008. By muniz on 2019-04-09

trying with tapncomposer

1007. By muniz on 2019-04-09

exporting wrong format of PNML

1006. By muniz on 2019-04-02

converting to pnml

1005. By Jiri Srba <email address hidden> on 2019-03-28

increased min version of verifypn to 3.0.2

Branch metadata

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

Subscribers