lp:~peter-gjoel/verifydtapn/ABPTraceFix

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 332

Jiri Srba: Approve on 2015-08-19

Diff: 19 lines (+4/-3)

1 file modified

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp (+4/-3)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1483801: Delay for ever reported as delay loop

Critical

Fix Released

Link a bug report

Related blueprints

332. By Peter Gjøl Jensen on 2015-08-18

Fixes trace-issue in ABP when using time-darts

331. By Jiri Srba on 2015-06-24

a new switch is added to report the maximum bounds for places

330. By Jiri Srba on 2015-06-24

merged a fix for warning for refactoring workflow

329. By Jiri Srba on 2015-06-24

refactoring of the code for workflow analysis

328. By Jiri Srba on 2015-06-24

merged in branch fixing memory leaks

327. By Jiri Srba on 2015-06-24

merged in branch refactoring the use of PTrie

326. By Jiri Srba on 2015-06-14

changed version number to 3.1.3

325. By Jiri Srba on 2015-06-14

merges a branch fixing the size of strong soudndness checking constant to long long

324. By Jiri Srba <email address hidden> on 2015-05-27

updated makefiles for OSX for compatibility from MAC OSX 10.9 and up;
README updated

323. By Jiri Srba on 2014-08-14

updated makefiles for mac os x