← Back to branch summary

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

From Revision 367 to 348

expand all expand all

Rev   Summary Authors Date Diff Files
367
Bootstrapping
Peter Gjøl Jensen 8 years ago Diff Files
366
k-multiplier
Peter Gjøl Jensen 8 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
358
removed unneeded methods + fixed free problem
Peter Gjøl Jensen 8 years ago Diff Files
357
reduced unfolding of marking
Peter Gjøl Jensen 8 years ago Diff Files
356
fixed issue making exploration order different when using pt...
Peter Gjøl Jensen 8 years ago Diff Files
355
added searchorders
Peter Gjøl Jensen 8 years ago Diff Files
354
implemented ptries, seems to work
Peter Gjøl Jensen 8 years ago Diff Files
353
Same as last commit
Peter Gjøl Jensen 8 years ago Diff Files
352
added template like option for easier testing
Peter Gjøl Jensen 8 years ago Diff Files
351
added replacement option
Peter Gjøl Jensen 8 years ago Diff Files
350
Minor fix in successor-generator to avoid redundant children
Peter Gjøl Jensen 8 years ago Diff Files
349
fixed minor error inverting result
Peter Gjøl Jensen 8 years ago Diff Files
348
Passes normal tests
Peter Gjøl Jensen 8 years ago Diff Files