lp:~verifypn-cpn/verifypn/improved-rule-bh

Created by Peter Gjøl Jensen on 2018-06-26 and last modified on 2018-06-28
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/improved-rule-bh
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

227. By Peter Gjøl Jensen on 2018-06-28

fixed issue in ruleH

226. By Peter Gjøl Jensen on 2018-06-28

added timeout to ruleH

225. By Peter Gjøl Jensen on 2018-06-27

fixed issue in ruleH

224. By Peter Gjøl Jensen on 2018-06-27

removed premature opt

223. By Peter Gjøl Jensen on 2018-06-27

fixed bug in improved ruleH

222. By Peter Gjøl Jensen on 2018-06-27

fixed ruleH

221. By Peter Gjøl Jensen on 2018-06-27

restricted extended ruleB use more

220. By Peter Gjøl Jensen on 2018-06-26

fixed bug in gen. ruleA

219. By Peter Gjøl Jensen on 2018-06-26

added comment on last optimization

218. By Peter Gjøl Jensen on 2018-06-26

Minor generalization of RuleA

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