Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifydtapn-contributers/verifydtapn/NoLivenessGCD
Members of verifydtapn-contributers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

299. By Peter Gjøl Jensen

changed error text

298. By Peter Gjøl Jensen

added missing check

297. By Peter Gjøl Jensen

readded deadlock + liveness check

296. By Peter Gjøl Jensen

refactored; improved code quality of GCD checks

295. By Peter Gjøl Jensen

added missing checks

294. By Peter Gjøl Jensen

fixed gdc-bug

293. By Jiri Srba

merged in branch with minor memory optimizations and fixing memory leaks in workflow analaysis

292. By Jiri Srba

merged in branch fixing loop problem for EG queries

291. By Jiri Srba

merged in branch implementing the GCD of constants in the model

290. By Jiri Srba

merged in a branch that changes the inheritance model and refactors the code

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.