verifypn

lp:~verifypn-stub/verifypn/closure_reduction

Created by Peter Gjøl Jensen on 2018-01-18 and last modified on 2018-01-23

Get this branch:: bzr branch lp:~verifypn-stub/verifypn/closure_reduction

Members of verifypn-stub 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-stub

Project:: verifypn

Status:: Merged

Recent revisions

205. By Peter Gjøl Jensen on 2018-01-23: merged
204. By Peter Gjøl Jensen on 2018-01-23: merged
203. By Peter Gjøl Jensen on 2018-01-22: merged
202. By Peter Gjøl Jensen on 2018-01-22: added extra reductions, changed printing of reduction applications
201. By Peter Gjøl Jensen on 2018-01-18: fixed for nested reachability
200. By Peter Gjøl Jensen on 2018-01-18: removed loop-sensitive reduction, fixed missing propagation of sensistivity
199. By Peter Gjøl Jensen on 2018-01-18: only using closure when proposition is loop invariant (no EG, AF, EX, AX, AU, Deadlock)
198. By Peter Gjøl Jensen on 2018-01-17: fixed problem when place in query has no outgoing arcs
197. By Peter Gjøl Jensen on 2018-01-17: closure of sufficient place/transition-set
196. By Jiri Srba on 2018-01-15: updated the license file

»

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