verifypn

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

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: verifypn-cpn

Project:: verifypn

Status:: Merged

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