lp:verifypn/u1.2

Created by Jiri Srba on 2015-11-20 and last modified on 2015-11-27
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

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Mature

Recent revisions

60. By Jiri Srba on 2015-11-27

released version u1.2.0

59. By Jiri Srba on 2015-05-07

updated readme

58. By Jiri Srba on 2015-05-07

added readme file

57. By Jiri Srba on 2015-05-07

added competition 2015 scritps

56. By Jiri Srba on 2015-04-23

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 on 2014-07-09

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

54. 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.

53. By Jiri Srba on 2014-06-21

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

52. By Jiri Srba on 2014-06-21

updated the make files to work with the latest compiler version

51. By Jiri Srba on 2014-05-18

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