lp:~tapaal-ltl/verifypn/ltl-spring-2021

Created by Simon Virenfeldt and last modified
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/ltl-spring-2021
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

271. By Nikolaj Jensen Ulrik

fix warnings

270. By Nikolaj Jensen Ulrik

Refine MCC21 competition script with fresh heuristic and no stubborn sets in random phase

269. By Nikolaj Jensen Ulrik

Fix heuristics not being used

268. By Nikolaj Jensen Ulrik

hov

267. By Nikolaj Jensen Ulrik

Fix crash in Tarjan's algorithm when trying to generate a trace when the invariant self loop optimization triggers

266. By Nikolaj Jensen Ulrik

Fix traces also in NDFS

265. By Nikolaj Jensen Ulrik

Fixing trace formats

264. By Nikolaj Jensen Ulrik

Print GUI-friendly output string from LTL

263. By Nikolaj Jensen Ulrik

More sane trace behaviour maybe

262. By Nikolaj Jensen Ulrik

WIP fixing bad traces, still some bugs left

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