Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifypn/u1.1
Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

VerifyPN Maintainers

Recent revisions

58. By Jiri Srba on 2014-07-15

Released version 1.1.1

57. By Jiri Srba on 2014-07-09

changed XML parser so that it preservers the order of tags
some output formating changes too

56. By Jiri Srba on 2014-07-01

merged in branch that fixes Rule C so that it is required that none of the parallel places can have any token.

55. By Jiri Srba on 2014-06-22

Released version 1.1.0

54. By Jiri Srba on 2014-06-21

merged with a branch allowing static build of verifypn for linux

53. By Jiri Srba on 2014-06-21

merged with trunk (updated make files)

52. By Jiri Srba on 2014-06-15

Relesed version of the engine verifypn 1.1.0

51. By Jiri Srba on 2014-05-18

merged in a branch adding a parser for XMP competition queries
launch script is added too

50. By Jiri Srba on 2014-03-23

merged in a branch that uses IDs instead of names for transitions and places in the PNML parser

49. By Jiri Srba on 2014-03-23

merged in a branch allowing to use quatations around the place names in queries

Branch metadata

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