lp:verifydtapn/d3.3

Created by Jiri Srba on 2018-01-18 and last modified on 2018-01-24
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> on 2018-01-24

Released version 3.3.0

338. By Jiri Srba on 2018-01-13

changed version number to 3.3.0

337. By Jiri Srba on 2018-01-13

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> on 2017-09-18

changed version number to 3.2.1

335. By Jiri Srba <email address hidden> on 2017-09-18

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 on 2015-08-31

changed version number to 3.2 (PTrie in workflow analysis)

333. By Jiri Srba on 2015-08-31

merged in a big branch implementing PTrie for workflow analysis

332. By Jiri Srba on 2015-08-20

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

331. By Jiri Srba on 2015-06-24

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

330. By Jiri Srba on 2015-06-24

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.