VerifyDTAPN

lp:verifydtapn/d2.0

Created by Jiri Srba on 2013-04-25 and last modified on 2013-04-30

Get this branch:: bzr branch lp:verifydtapn/d2.0

Members of verifydtapn-contributers 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:: verifydtapn-contributers

Project:: VerifyDTAPN

Status:: Mature

Recent revisions

281. By Jiri Srba on 2013-04-30: This is the 2.0 version released with TAPAAL 2.3.0
280. By Jiri Srba on 2013-04-30: updated the compile script for mac so that it is compatible from 10.6 (snow leopard)
279. By Jiri Srba on 2013-04-22: Merged in a branch adding markings to PW directly from successor
generator (up to 10% speedup).
278. By Jiri Srba on 2013-04-10: merged in the branch with cut optimization
277. By Jiri Srba on 2013-04-10: merged in the cleanup branch
276. By Jiri Srba on 2013-04-08: merged in the branch for priting traces for all discrete engines incl PTrie optimization
275. By Jiri Srba on 2012-12-05: merged in a branch fixing a bug in successor generator with weighted arcs
274. By Jiri Srba on 2012-11-29: changed version number to 1.0.1
273. By Jiri Srba on 2012-11-29: merged in a branch fixing memory leak in waiting list and computation of stored states
272. By Jiri Srba on 2012-11-06: merged with branch fixing search order bug

»

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