Created by Nikolaj Jensen Ulrik and last modified
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/reach-stub-new
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

284. By <email address hidden>

increased version number to 4.2.0

283. By Nikolaj Jensen Ulrik

extraConsume in the right place

282. By Peter G. Jensen <email address hidden>

avoiding double-addition of extra-consume during ruleB trace reconstruction

281. By Nikolaj Jensen Ulrik

Fixing infinite loop in Tarjan trace generation

280. By Nikolaj Jensen Ulrik

LTL Query simplification more robust against queries without leading A/E quantifier.

279. By Nikolaj Jensen Ulrik

Probably properly fixed k-bounds in NDFS. Fixes https://bugs.launchpad.net/tapaal/+bug/1947036

278. By Peter G. Jensen <email address hidden>

fixing memleak by light_dequeue

277. By Peter G. Jensen <email address hidden>

fixing NDFS bug

276. By Peter G. Jensen <email address hidden>

no funky rewrite of path-quantifier-less ltl formulae

275. By Peter G. Jensen <email address hidden>

should fix TARJAN traces

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.