VerifyDTAPN

lp:verifydtapn

Created by Jiri Srba on 2012-07-03 and last modified on 2020-10-31
Get this branch:
bzr branch lp:verifydtapn
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

341. By Jiri Srba on 2020-10-31

increased version number to 3.4.1

340. By Jiri Srba on 2020-10-09

merged in lp:~verifydtapn-contributers/verifydtapn/af-games fixing a problem in control AF verification

339. By Jiri Srba on 2020-09-09

merged in lp:~verifydtapn-contributers/verifydtapn/cmake that uses cmake, adds AF games, code cleanup

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)

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.

Subscribers