verifypn

lp:~verifypn-cpn/verifypn/cpn

Created by Andreas Klostergaard on 2018-02-22 and last modified on 2018-03-26

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

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:: Abandoned

Recent revisions

238. By Andreas Klostergaard on 2018-03-26: Working on cpn overapproximation
237. By Andreas Klostergaard on 2018-03-26: Fixed another bug
236. By Andreas Klostergaard on 2018-03-26: Fixed bug in binding reduction
235. By Andreas Klostergaard on 2018-03-25: Removed debug output
234. By Andreas Klostergaard on 2018-03-25: Added reduction for binding generator
233. By Andreas Klostergaard on 2018-03-15: Merged with trunk
232. By Andreas Klostergaard on 2018-03-14: Added correct parsing support for PhilosophersDyn-COL nets
231. By Andreas Klostergaard on 2018-03-14: Removed debug messages
230. By Andreas Klostergaard on 2018-03-14: Fixed compilation warning
229. By Andreas Klostergaard on 2018-03-14: Removed call to multiset clean method.

»

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