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

No branches dependent on this one.

Related bugs

Link a bug report

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.

Subscribers

verifydtapn-contr...