lp:~verifydtapn-contributers/verifydtapn/safety-games-boostrap

Created by Peter Gjøl Jensen on 2016-09-10 and last modified on 2016-09-10
Get this branch:
bzr branch lp:~verifydtapn-contributers/verifydtapn/safety-games-boostrap
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

367. By Peter Gjøl Jensen on 2016-01-05

Bootstrapping

366. By Peter Gjøl Jensen on 2016-01-05

k-multiplier

365. By Peter Gjøl Jensen on 2015-10-21

refactoring before the storm

364. By Peter Gjøl Jensen on 2015-10-21

minor speedup for ptries

363. By Peter Gjøl Jensen on 2015-10-13

fixed bug when using inhibitor arcs

362. By Peter Gjøl Jensen on 2015-10-09

fixed bug in decoding

361. By Peter Gjøl Jensen on 2015-09-29

minor optimizations to successor generator

360. By Peter Gjøl Jensen on 2015-09-29

minor optimizations all around

359. By Peter Gjøl Jensen on 2015-09-29

minor improvement

358. By Peter Gjøl Jensen on 2015-09-29

removed unneeded methods + fixed free problem

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.