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

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

243. By Peter Gjøl Jensen on 2019-04-17

better, but more expensive checks on already added pre/post

242. By Peter Gjøl Jensen on 2019-04-17

merge with eq-push-fix

241. By Peter Gjøl Jensen on 2019-04-16

fix to POR

240. By Peter Gjøl Jensen on 2019-04-15

more changes

239. By Peter Gjøl Jensen on 2019-04-14

fixes to cycle-detection

238. By Peter Gjøl Jensen on 2019-04-14

improved edge selection

237. By Peter Gjøl Jensen on 2019-04-14

tightened cycle

236. By Peter Gjøl Jensen on 2019-04-13

fixed flags

235. By Peter Gjøl Jensen on 2019-04-13

remove debug output

234. By Peter Gjøl Jensen on 2019-04-13

seems to work

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