lp:verifypn/u1.1

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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