VerifyDTAPN

lp:verifydtapn/d3.0

Created by Jiri Srba on 2014-02-21 and last modified on 2014-04-08
Get this branch:
bzr branch lp:verifydtapn/d3.0
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

300. By Jiri Srba on 2014-04-08

commiting generated files

299. By Jiri Srba on 2014-04-08

merged in the cpp file for fixing liveness traces

298. By Jiri Srba on 2014-04-08

merged in the header file fixing traces for liveness

297. By Jiri Srba on 2014-02-26

Released version 3.0.0 of the engine

296. By Jiri Srba on 2014-02-19

merged in branch that changes GCD option to the default value NOT USE

295. By Jiri Srba on 2014-02-18

increased version number to 3.0.0

294. By Jiri Srba on 2014-02-17

merged in branch disabeling GCD for AF, EG queries and for deadlock

293. By Jiri Srba on 2014-02-16

merged in branch with minor memory optimizations and fixing memory leaks in workflow analaysis

292. By Jiri Srba on 2014-01-25

merged in branch fixing loop problem for EG queries

291. By Jiri Srba on 2013-12-05

merged in branch implementing the GCD of constants in the model

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.