lp:verifydtapn
- Get this branch:
- bzr branch lp:verifydtapn
Branch merges
Branch information
Recent revisions
- 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
- 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) - 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)