lp:~verifypn-cpn/verifypn/unfold-improve

Created by Andreas Klostergaard on 2018-06-12 and last modified on 2018-06-26
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/unfold-improve
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:
Merged

Recent revisions

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

fixed warnings

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

reduced copying

219. By Andreas Klostergaard on 2018-06-24

Cleaning up comments

218. By Andreas Klostergaard on 2018-06-16

Fireability bug, and colored arc count

217. By Andreas Klostergaard on 2018-06-15

Testing more renferences

216. By Andreas Klostergaard on 2018-06-15

Fixed stripping for new structures

215. By Andreas Klostergaard on 2018-06-14

Changing data type in binding generator

214. By Andreas Klostergaard on 2018-06-14

Moving arcs to transitions

213. By Andreas Klostergaard on 2018-06-13

Removed debug printing

212. By Andreas Klostergaard on 2018-06-13

Removing some prints

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