verifypn

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

No branches dependent on this one.

Related bugs

Link a bug report

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.

Subscribers

VerifyPN Maintainers