lp:~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds
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:
Development

Recent revisions

72. By Jiri Srba

removed MCC15 scripts (moved to trunk instead)

71. By Jiri Srba

updated the check script

70. By Jiri Srba

fixed parallel --gnu in scripts

69. By Jiri Srba

replaced will-cite with --no-notice

68. By Jiri Srba

updated scripts

67. By Jiri Srba

updated scripts

66. By Jiri Srba

updatting scripts, not finished yet

65. By Jiri Srba

updated script

64. By Jiri Srba

fix in PREFIX name

63. By Jiri Srba

updated competition year

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.