lp:verifydtapn/d3.2

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

Owner:
TAPAAL Maintainers
Project:
VerifyDTAPN
Status:
Mature

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:
lp:verifydtapn
This branch contains Public information 
Everyone can see this information.

Subscribers