Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifydtapn/d2.0
Members of verifydtapn-contributers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

281. By Jiri Srba

This is the 2.0 version released with TAPAAL 2.3.0

280. By Jiri Srba

updated the compile script for mac so that it is compatible from 10.6 (snow leopard)

279. By Jiri Srba

Merged in a branch adding markings to PW directly from successor
generator (up to 10% speedup).

278. By Jiri Srba

merged in the branch with cut optimization

277. By Jiri Srba

merged in the cleanup branch

276. By Jiri Srba

merged in the branch for priting traces for all discrete engines incl PTrie optimization

275. By Jiri Srba

merged in a branch fixing a bug in successor generator with weighted arcs

274. By Jiri Srba

changed version number to 1.0.1

273. By Jiri Srba

merged in a branch fixing memory leak in waiting list and computation of stored states

272. By Jiri Srba

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