VerifyDTAPN

lp:~verifydtapn-contributers/verifydtapn/timeDartPtrie

Created by Mathias Grund Sørensen and last modified
Get this branch:
bzr branch lp:~verifydtapn-contributers/verifydtapn/timeDartPtrie
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:
Merged

Recent revisions

437. By Peter Gjøl Jensen

fixed reintroduced bug

436. By Peter Gjøl Jensen

seems to have fixed the loop/delay for ever issue

435. By Peter Gjøl Jensen

Delay forever reported when loop is detected-bug fix

434. By Peter Gjøl Jensen

Seems to fix the trace issue for 2.xml as well as the delay in trace loop detection for timedarts

433. By Peter Gjøl Jensen

trace-error seems fixed for naive engine

432. By Peter Gjøl Jensen

fix trace-loop detection delay for timedarts

431. By Peter Gjøl Jensen

merged with trunk

430. By Peter Gjøl Jensen

re-fixed short deadlock trace issue

429. By Peter Gjøl Jensen

should fix compile error

428. By Peter Gjøl Jensen

fixed to short deadlock trace

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.