lp:~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds

Created by Jiri Srba on 2015-04-23 and last modified on 2015-05-07
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 on 2015-05-07

removed MCC15 scripts (moved to trunk instead)

71. By Jiri Srba on 2015-05-05

updated the check script

70. By Jiri Srba on 2015-04-29

fixed parallel --gnu in scripts

69. By Jiri Srba on 2015-04-29

replaced will-cite with --no-notice

68. By Jiri Srba on 2015-04-29

updated scripts

67. By Jiri Srba on 2015-04-28

updated scripts

66. By Jiri Srba on 2015-04-28

updatting scripts, not finished yet

65. By Jiri Srba on 2015-04-27

updated script

64. By Jiri Srba on 2015-04-27

fix in PREFIX name

63. By Jiri Srba on 2015-04-27

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.