verifypn

lp:~tapaal-ltl/verifypn/interesting-trans-stub

Created by Nikolaj Jensen Ulrik on 2021-02-19 and last modified on 2021-03-09
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/interesting-trans-stub
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:
Merged

Recent revisions

267. By Simon Virenfeldt on 2021-03-09

Changed optimisation to medium. Added debug stats print.

266. By Simon Virenfeldt on 2021-03-05

Remove büchi complete flag

265. By Simon Virenfeldt on 2021-03-02

Fix nexttrans return true even if there is no next transition

264. By Simon Virenfeldt on 2021-03-02

Added stubborn statistics

263. By Simon Virenfeldt on 2021-02-25

Changed the requirement that a state must have a stubborn transition to that a state must have an enabled stubborn transition. Otherwise all transitions are marked as stubborn

262. By Simon Virenfeldt on 2021-02-24

Format

261. By Simon Virenfeldt on 2021-02-24

If no stubborn transitions are found make all transitions stubborn.

260. By Simon Virenfeldt on 2021-02-24

Ammend to last commit with new files added

259. By Simon Virenfeldt on 2021-02-24

Added mutating visitor, EvalAndSetVisitor and added negate if satisfied to interesting transition visitor

258. By Nikolaj Jensen Ulrik on 2021-02-19

WIP interesting transition stubborn set

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