VerifyDTAPN

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

Created by Peter Gjøl Jensen on 2015-09-15 and last modified on 2016-01-05

Get this branch:: bzr branch lp:~verifydtapn-contributers/verifydtapn/safety-games

Members of verifydtapn-contributers can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: verifydtapn-contributers

Project:: VerifyDTAPN

Status:: Merged

Recent revisions

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
357. By Peter Gjøl Jensen on 2015-09-29: reduced unfolding of marking
356. By Peter Gjøl Jensen on 2015-09-28: fixed issue making exploration order different when using ptries vs normal verification

»

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.

Subscribers

verifydtapn-contr...