verifypn

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

No branches dependent on this one.

Merged into lp:verifypn at revision 210

Jiri Srba: Approve on 2018-06-26

Related bugs

Link a bug report

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