verifypn

lp:~verifypn-stub/verifypn/improved_reductions

Created by Peter Gjøl Jensen on 2018-02-15 and last modified on 2018-02-15

Get this branch:: bzr branch lp:~verifypn-stub/verifypn/improved_reductions

Members of verifypn-stub 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-stub

Project:: verifypn

Status:: Merged

Recent revisions

256. By Peter Gjøl Jensen on 2018-02-15: rule I rewrite
255. By Peter Gjøl Jensen on 2018-02-15: initial ruleI
254. By Peter Gjøl Jensen on 2018-02-11: fixed bug in reduction causing segfault
253. By Peter Gjøl Jensen on 2018-02-09: fixed ruleC
252. By Peter Gjøl Jensen on 2018-02-09: rule H
251. By Peter Gjøl Jensen on 2018-02-08: fixed bug in rule H
250. By Peter Gjøl Jensen on 2018-02-08: updated red rules
249. By Peter Gjøl Jensen on 2018-02-05: new lp solve for 64bit linux
248. By Peter Gjøl Jensen on 2018-02-05: fixed div by zero
247. By Peter Gjøl Jensen on 2018-02-05: small fixes in par

»

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