lp:~verifypn-stub/verifypn/ctl-structural

Created by Peter Gjøl Jensen on 2017-12-03 and last modified on 2018-01-04
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/ctl-structural
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-stub
Project:
verifypn
Status:
Merged

Recent revisions

225. By Peter Gjøl Jensen on 2018-01-04

fixed reorder warning

224. By Peter Gjøl Jensen on 2018-01-04

propagating switch for po-reduction to ctl-engine

223. By Peter Gjøl Jensen on 2018-01-04

merged with trunk

222. By Peter Gjøl Jensen on 2017-12-26

added partial order for EF leafs in CTL

221. By Peter Gjøl Jensen on 2017-12-17

small optimization, skip partial order if only a single transition is enabled

220. By Peter Gjøl Jensen on 2017-12-13

removed unused rule G

219. By Peter Gjøl Jensen on 2017-12-13

merged

218. By Peter Gjøl Jensen on 2017-12-13

added new rules F and G removing sink and sources

217. By Peter Gjøl Jensen on 2017-12-12

gen. of ruleE

216. By Peter Gjøl Jensen on 2017-12-12

generalized rule A

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