verifypn

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

No branches dependent on this one.

Merged into lp:~tapaal-ltl/verifypn/ltl-model-checker at revision 257

Simon Virenfeldt: Approve on 2021-02-24

Related bugs

Link a bug report

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
253. By Simon Virenfeldt on 2021-02-19: Merge lp:~tapaal-ltl/verifypn/traceable-ndfs@256
252. By Simon Virenfeldt on 2021-02-19: Merge lp:~tapaal-ltl/verifypn/ruleI.5@253
251. By Simon Virenfeldt on 2021-02-17: Merge lp:~tapaal-ltl/verifypn/buchi-better-cleanup@251
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