VerifyDTAPN

lp:verifydtapn/d3.2

Created by Jiri Srba and last modified
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

Released version of d3.2.1

337. By Jiri Srba <email address hidden>

changed version number to 3.2.1

336. By Jiri Srba <email address hidden>

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

released version d3.2.0

334. By Jiri Srba

changed version number to 3.2 (PTrie in workflow analysis)

333. By Jiri Srba

merged in a big branch implementing PTrie for workflow analysis

332. By Jiri Srba

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

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

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