lp:verifypn/u1.1

Created by Jiri Srba on 2014-06-15 and last modified on 2014-07-15
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

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Mature

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:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.