lp:~tapaal-ltl/verifypn/scc-optimise

Created by Nikolaj Jensen Ulrik on 2021-02-11 and last modified on 2021-02-11
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/scc-optimise
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

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

Misc tweaks/debugging

246. By Nikolaj Jensen Ulrik on 2021-02-01

NDFS: Replace weak test with direct SCC test

245. By Nikolaj Jensen Ulrik on 2021-01-08

More better printing

244. By Nikolaj Jensen Ulrik on 2021-01-08

Better print of LTL algorithm

242. By Simon Virenfeldt on 2020-12-21

Merge ltl-xml-write@241

241. By Simon Virenfeldt on 2020-12-21

Added a none option to ltl to perform a dry run

240. By Nikolaj Jensen Ulrik on 2020-12-17

Fix reachability engine not being called

239. By Simon Virenfeldt on 2020-12-14

Disable LTL query simplifications if queryReductionTimeout is 0

238. By Nikolaj Jensen Ulrik on 2020-12-11

Merge integration@241

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