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

Related bugs

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