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:
Merged

Recent revisions

273. By Nikolaj Jensen Ulrik

fully revert tapaal.sh back to trunk version (aka MCC submission), newer LTL script can be found in tapaal-tweaked-rev270.sh

272. By Nikolaj Jensen Ulrik

Move rev 270 change in tapaal.sh to new file and revert 270

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

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