lp:~tapaal-ltl/verifypn/ltl-stubborn-set

Created by Nikolaj Jensen Ulrik on 2021-02-08 and last modified on 2021-04-13
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/ltl-stubborn-set
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

282. By Nikolaj Jensen Ulrik on 2021-04-13

Replace extstack with dentry bit on CEntry

281. By Nikolaj Jensen Ulrik on 2021-04-09

Merge remote@282

280. By Nikolaj Jensen Ulrik on 2021-04-09

Reinstate missing code, making stubborn sets correct

279. By Nikolaj Jensen Ulrik on 2021-04-07

merge remote ltl-stubborn-set@277

278. By Nikolaj Jensen Ulrik on 2021-04-06

Merge ltl-trunk@255..258

277. By Nikolaj Jensen Ulrik on 2021-04-06

Merge ltl-trunk@253

276. By Nikolaj Jensen Ulrik on 2021-03-26

interesting

275. By Nikolaj Jensen Ulrik on 2021-03-26

Fix end of trace in Tarjan

274. By Nikolaj Jensen Ulrik on 2021-03-25

Add switch to disable B├╝chi compression, and disable the compression when printing the automaton

273. By Nikolaj Jensen Ulrik on 2021-03-25

Merge heuristic-automata@270

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