verifypn

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

No branches dependent on this one.

Related bugs

Link a bug report

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