lp:~tapaal-ltl/verifypn/traceable-tarjan

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

259. By Simon Virenfeldt on 2021-03-04

Added some additional newlines

258. By Nikolaj Jensen Ulrik on 2021-03-03

Add trace levels for internal usage

257. By Nikolaj Jensen Ulrik on 2021-03-03

TAPAAL compatible trace format, correct NDFS traces

256. By Nikolaj Jensen Ulrik on 2021-02-24

Hotfix and docstring

255. By Nikolaj Jensen Ulrik on 2021-02-24

Fixed traceable Tarjan, docstring on Tarjan class

254. By Nikolaj Jensen Ulrik on 2021-02-22

Add proper trace support to Tarjan's algorithm

250. By Nikolaj Jensen Ulrik on 2021-02-05

High -> Medium optimizations in Spot for less overkill

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