verifypn

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

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: VerifyPN Maintainers

Project:: verifypn

Status:: Abandoned

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.

Subscribers

VerifyPN Maintainers