lp:verifydtapn/d3.4
Created by
Jiri Srba
and last modified
- Get this branch:
- bzr branch lp:verifydtapn/d3.4
Members of
verifydtapn-contributers
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
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. - 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)
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifydtapn