lp:~verifydtapn-contributers/verifydtapn/NoLivenessGCD

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 294

Jiri Srba: Approve on 2014-02-17

Mathias Grund Sørensen: Approve (code) on 2014-02-17

Jakob Taankvist: Pending requested 2014-02-17

Diff: 47 lines (+20/-8)

1 file modified

src/DiscreteVerification/DiscreteVerification.cpp (+20/-8)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1281243: GCD optimization should be disabled in the engine for AF, EG

Critical

Fix Released

Link a bug report

Related blueprints

299. By Peter Gjøl Jensen on 2014-02-17

changed error text

298. By Peter Gjøl Jensen on 2014-02-17

added missing check

297. By Peter Gjøl Jensen on 2014-02-17

readded deadlock + liveness check

296. By Peter Gjøl Jensen on 2014-02-17

refactored; improved code quality of GCD checks

295. By Peter Gjøl Jensen on 2014-02-17

added missing checks

294. By Peter Gjøl Jensen on 2014-02-17

fixed gdc-bug

293. By Jiri Srba on 2014-02-16

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

292. By Jiri Srba on 2014-01-25

merged in branch fixing loop problem for EG queries

291. By Jiri Srba on 2013-12-05

merged in branch implementing the GCD of constants in the model

290. By Jiri Srba on 2013-10-29

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