lp:~tapaal-ltl/verifypn/resuming-stubborn-tarjan

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

261. By Simon Virenfeldt on 2021-03-17

Remvoe print automaton debug print

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

Merge ltl-model-checker + WIP work on resuming tarjan, near correct?

259. By Nikolaj Jensen Ulrik on 2021-03-05

alternate resuming tarjan model checker now correct(er)

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

WIP interesting transition stubborn set

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

WIP Resuming stubborn tarjan model checker

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

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