lp:~tapaal-ltl/verifypn/reach-aut-stub

Created by Nikolaj Jensen Ulrik on 2021-03-30 and last modified on 2021-04-14
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/reach-aut-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:
Experimental

Recent revisions

275. By Nikolaj Jensen Ulrik on 2021-04-14

Add switch between reach aut stub and visible stub

274. By Simon Virenfeldt on 2021-03-31

Fixed bug where the progressing formula is already satisfied and therefore no stubborn set was created.

273. By Simon Virenfeldt on 2021-03-30

Bug fixes

272. By Simon Virenfeldt on 2021-03-30

Bug fixes and debug print

271. By Nikolaj Jensen Ulrik on 2021-03-30

Draft of Buchi/Reachability stubborn set

270. By Nikolaj Jensen Ulrik on 2021-03-24

WIP B├╝chi guided search

269. By Nikolaj Jensen Ulrik on 2021-03-23

Ensure spooler gets set

268. By Nikolaj Jensen Ulrik on 2021-03-19

Add calls to generateAll

267. By Nikolaj Jensen Ulrik on 2021-03-19

LTL engine now allows combination of stubborn sets and heuristics

266. By Nikolaj Jensen Ulrik on 2021-03-19

Functioning spooling successor generator

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