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

TAPAAL Maintainers

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