VerifyDTAPN

lp:verifydtapn

Created by Jiri Srba and last modified
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

increased version number to 3.4.1

340. By Jiri Srba

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

339. By Jiri Srba

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

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)

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