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

Created by Peter Gjøl Jensen on 2019-04-05 and last modified on 2021-02-02
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> on 2021-02-02

skipping when undet found

268. By Peter G. Jensen <email address hidden> on 2021-01-15

removing premature optimization

267. By Peter G. Jensen <email address hidden> on 2021-01-15

reverted into a json map

266. By Peter G. Jensen <email address hidden> on 2021-01-15

added strategy printing

265. By Peter G. Jensen <email address hidden> on 2021-01-15

added flag for outputting strategy

264. By Peter G. Jensen <email address hidden> on 2021-01-15

small fixes to validation

263. By Peter G. Jensen <email address hidden> on 2021-01-07

should handle it correctly

262. By Peter G. Jensen <email address hidden> on 2021-01-07

fixing safety game

261. By Peter G. Jensen <email address hidden> on 2021-01-07

minor reformat

260. By Peter G. Jensen <email address hidden> on 2020-09-25

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