Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~peter-gjoel/verifydtapn/ABPTraceFix
Only Peter Gjøl Jensen can upload to this branch. If you are Peter Gjøl Jensen please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Peter Gjøl Jensen

Recent revisions

332. By Peter Gjøl Jensen

Fixes trace-issue in ABP when using time-darts

331. By Jiri Srba

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

330. By Jiri Srba

merged a fix for warning for refactoring workflow

329. By Jiri Srba

refactoring of the code for workflow analysis

328. By Jiri Srba

merged in branch fixing memory leaks

327. By Jiri Srba

merged in branch refactoring the use of PTrie

326. By Jiri Srba

changed version number to 3.1.3

325. By Jiri Srba

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

324. By Jiri Srba <email address hidden>

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

323. By Jiri Srba

updated makefiles for mac os x

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.