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

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Development

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