lp:~tapaal-ltl/verifypn/visible-stubborn-sets

Created by Nikolaj Jensen Ulrik on 2021-03-17 and last modified on 2021-03-17
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/visible-stubborn-sets
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

260. By Nikolaj Jensen Ulrik on 2021-03-12

Fix not handling B├╝chi deadlocks in spooling tarjan

259. By Simon Virenfeldt on 2021-03-11

Change explored increment location

258. By Simon Virenfeldt on 2021-03-09

Remove complete automata, change optimisation to medium

257. By Simon Virenfeldt on 2021-03-09

Add debug explored states print

256. By Nikolaj Jensen Ulrik on 2021-02-17

Correctness of LTL stubborn sets

255. By Nikolaj Jensen Ulrik on 2021-02-15

Use bit product state in successor generation, seems correct

254. By Nikolaj Jensen Ulrik on 2021-02-12

ProductStateSet, handful of bugfixes in Stubborn Tarjan

253. By Nikolaj Jensen Ulrik on 2021-02-11

Broken LTL stubborn set implementation

252. By Nikolaj Jensen Ulrik on 2021-02-10

Refactor LTLMain, add template parameter to ModelChecker, fix bugs in stubborn set refactor

251. By Nikolaj Jensen Ulrik on 2021-02-10

Fix not invoking stubborn set and misc errors

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