verifypn

lp:~verifypn-cpn/verifypn/struct_vs_stub

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

Get this branch:: bzr branch lp:~verifypn-cpn/verifypn/struct_vs_stub

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

287. By Peter Gjøl Jensen on 2018-02-26: fixed signed/unsigned bug
286. By Peter Gjøl Jensen on 2018-02-26: smaller closure
285. By Peter Gjøl Jensen on 2018-02-25: fixed upper bounds bug
284. By Peter Gjøl Jensen on 2018-02-24: fixed upper bounds encoding
283. By Peter Gjøl Jensen on 2018-02-23: fixed bug in encoding
282. By Peter Gjøl Jensen on 2018-02-23: added binary input/output
281. By Peter Gjøl Jensen on 2018-02-23: disabled H for NEXT, only NEXT safe rule is C
280. By Peter Gjøl Jensen on 2018-02-22: fixed for ctl
279. By Peter Gjøl Jensen on 2018-02-22: updated to match paper
278. By Peter Gjøl Jensen on 2018-02-22: updated to match paper

»

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