Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifypn/u1.2
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

60. By Jiri Srba

released version u1.2.0

59. By Jiri Srba

updated readme

58. By Jiri Srba

added readme file

57. By Jiri Srba

added competition 2015 scritps

56. By Jiri Srba

work on competition parsing, fix in paranthesis around conjunction/disjunction, deletion in object for lpsolve,
shell scripts for MCC2015, parsing now avoids using iterator
when not necessary (fixes issues with linux)

55. By Jiri Srba

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

54. By Jiri Srba

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

53. By Jiri Srba

merged in a branch allowing a static build of linux verifypn binaries

52. By Jiri Srba

updated the make files to work with the latest compiler version

51. By Jiri Srba

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

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.