Created by Jiri Srba on 2015-11-20 and last modified on 2017-10-05
Get this branch:
bzr branch lp:verifydtapn/d3.2
Members of TAPAAL Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Maintainers

Recent revisions

338. By Jiri Srba on 2017-10-05

Released version of d3.2.1

337. By Jiri Srba <email address hidden> on 2017-09-18

changed version number to 3.2.1

336. By Jiri Srba <email address hidden> on 2017-09-18

merged in branch lp:~verifydtapn-contributers/verifydtapn/win-compile that allows
to cross compile for windows (minimum version version 10.9)

335. By Jiri Srba on 2015-11-27

released version d3.2.0

334. By Jiri Srba on 2015-08-31

changed version number to 3.2 (PTrie in workflow analysis)

333. By Jiri Srba on 2015-08-31

merged in a big branch implementing PTrie for workflow analysis

332. By Jiri Srba on 2015-08-20

merged branch fixing trace issues with time darts (delay forever ending)

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

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.