verifypn

lp:~verifypn-cpn/verifypn/verifypn-games

Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/verifypn-games
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Development

Recent revisions

269. By Peter G. Jensen <email address hidden>

skipping when undet found

268. By Peter G. Jensen <email address hidden>

removing premature optimization

267. By Peter G. Jensen <email address hidden>

reverted into a json map

266. By Peter G. Jensen <email address hidden>

added strategy printing

265. By Peter G. Jensen <email address hidden>

added flag for outputting strategy

264. By Peter G. Jensen <email address hidden>

small fixes to validation

263. By Peter G. Jensen <email address hidden>

should handle it correctly

262. By Peter G. Jensen <email address hidden>

fixing safety game

261. By Peter G. Jensen <email address hidden>

minor reformat

260. By Peter G. Jensen <email address hidden>

fixed unitialized variable leading to non-det choice of successors in POR in rare cases.

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers