lp:~tapaal-ltl/verifypn/loopInvariantReduction

Created by Simon Virenfeldt on 2021-02-12 and last modified on 2021-03-26
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/loopInvariantReduction
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-ltl
Project:
verifypn
Status:
Development

Recent revisions

262. By Simon Virenfeldt on 2021-03-26

Added states explored print and disabled fallthrough to reachability,

261. By Simon Virenfeldt on 2021-03-02

Remove complete preference from the buchi generation

260. By Simon Virenfeldt on 2021-02-18

If reduction is set to 4 or 5 revert to 1 if we are trying to do reachability.

259. By Simon Virenfeldt on 2021-02-18

Added options to disable loop invariant reduction

258. By Simon Virenfeldt on 2021-02-17

Fix bug in rule K which removed marked selfloop outside relevant transitions

257. By Simon Virenfeldt on 2021-02-17

Code format

256. By Simon Virenfeldt on 2021-02-17

Added context analysis to reduction flow

255. By Simon Virenfeldt on 2021-02-15

Implemented is dirty. Corectness testing begun

254. By Simon Virenfeldt on 2021-02-12

Initial implementation of loop invariant reduction. is_dirty has not yet been implemented.

253. By Simon Virenfeldt on 2021-02-12

Merge ltl-stubborn-set@253

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