lp:~verifydtapn-contributers/verifydtapn/TraceEndDelay

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 299

Jakob Taankvist: Approve on 2014-04-08

Mathias Grund Sørensen: Approve (code) on 2014-04-07

Jiri Srba: Approve on 2014-04-06

Diff: 106 lines (+27/-17)

2 files modified

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp (+24/-16)
src/DiscreteVerification/VerificationTypes/Verification.hpp (+3/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1300632: Impossible trace is returned

Critical

Fix Released

Link a bug report

Related blueprints

300. By Peter Gjøl Jensen on 2014-04-06

Corrections according to comments

299. By Peter Gjøl Jensen on 2014-04-04

Fixed so parrents are now correctly set

298. By Jiri Srba on 2014-03-20

increased version number to 3.1.0

297. By Jiri Srba on 2014-03-20

merged in branch adding arithmetic queries

296. By Jiri Srba on 2014-02-19

merged in branch that changes GCD option to the default value NOT USE

295. By Jiri Srba on 2014-02-18

increased version number to 3.0.0

294. By Jiri Srba on 2014-02-17

merged in branch disabeling GCD for AF, EG queries and for deadlock

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