lp:verifydtapn/d3.3

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifydtapn/d3.3
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:
Development

Recent revisions

339. By Jiri Srba <email address hidden>

Released version 3.3.0

338. By Jiri Srba

changed version number to 3.3.0

337. By Jiri Srba

merged in branch lp:~verifydtapn-contributers/verifydtapn/partial-order
Adds zero-time partial order reduction to the engine.
Adds support for timed-safety-games to the engine.
Also refactores all around for improved performance.
New successor-generator, used by all engines.

336. By Jiri Srba <email address hidden>

changed version number to 3.2.1

335. By Jiri Srba <email address hidden>

merged in branch lp:~verifydtapn-contributers/verifydtapn/win-compile
allowing to cross compile to windows (min mac version is 10.9)

334. By Jiri Srba

changed version number to 3.2 (PTrie in workflow analysis)

333. By Jiri Srba

merged in a big branch implementing PTrie for workflow analysis

332. By Jiri Srba

merged branch fixing trace issues with time darts (delay forever ending)

331. By Jiri Srba

a new switch is added to report the maximum bounds for places

330. By Jiri Srba

merged a fix for warning for refactoring workflow

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.