← Back to branch summary

~verifydtapn-contributers/verifydtapn/partial-order

From Revision 378 to 359

expand all expand all

Rev   Summary Authors Date Diff Files
378
fixed trace and improved deadlock
Peter G. Jensen 6 years ago Diff Files
377
using new successor-generator for timedarts too
Peter G. Jensen 6 years ago Diff Files
376
implemented closure as in the paper
Peter G. Jensen 6 years ago Diff Files
375
minor inconsistency
Peter G. Jensen 6 years ago Diff Files
374
reduced size of stubborn set by not including zt transitions...
Peter G. Jensen 6 years ago Diff Files
373
refactor
Peter G. Jensen 6 years ago Diff Files
372
passed regression-tests, needs timed optimizations
Peter G. Jensen 6 years ago Diff Files
371
almost passes regression
Peter G. Jensen 6 years ago Diff Files
370
ported implementation from verifypn, not time-optimized
Peter G. Jensen 6 years ago Diff Files
369
small refactor
Peter G. Jensen 6 years ago Diff Files
368
new successor-generator for explicit verification
Peter G. Jensen 6 years ago Diff Files
367
merged with trunk
Peter G. Jensen 6 years ago Diff Files
366
enabled new succs for reachability
Peter G. Jensen 6 years ago Diff Files
365
refactoring before the storm
Peter Gjøl Jensen 8 years ago Diff Files
364
minor speedup for ptries
Peter Gjøl Jensen 8 years ago Diff Files
363
fixed bug when using inhibitor arcs
Peter Gjøl Jensen 8 years ago Diff Files
362
fixed bug in decoding
Peter Gjøl Jensen 8 years ago Diff Files
361
minor optimizations to successor generator
Peter Gjøl Jensen 8 years ago Diff Files
360
minor optimizations all around
Peter Gjøl Jensen 8 years ago Diff Files
359
minor improvement
Peter Gjøl Jensen 8 years ago Diff Files