← Back to branch summary

~verifydtapn-contributers/verifydtapn/trunk

From Revision 333 to 314

expand all expand all

Rev   Summary Authors Date Diff Files
333
merged in a big branch implementing PTrie for workflow analy...
Jiri Srba 9 years ago Diff Files
332
merged branch fixing trace issues with time darts (delay for...
Jiri Srba 9 years ago Diff Files
331
a new switch is added to report the maximum bounds for place...
Jiri Srba 9 years ago Diff Files
330
merged a fix for warning for refactoring workflow
Jiri Srba 9 years ago Diff Files
329
refactoring of the code for workflow analysis
Jiri Srba 9 years ago Diff Files
328
merged in branch fixing memory leaks
Jiri Srba 9 years ago Diff Files
327
merged in branch refactoring the use of PTrie
Jiri Srba 9 years ago Diff Files
326
changed version number to 3.1.3
Jiri Srba 9 years ago Diff Files
325
merges a branch fixing the size of strong soudndness checkin...
Jiri Srba 9 years ago Diff Files
324
updated makefiles for OSX for compatibility from MAC OSX 10....
Jiri Srba 9 years ago Diff Files
323
updated makefiles for mac os x
Jiri Srba 10 years ago Diff Files
322
increased version number to 3.1.2
Jiri Srba 10 years ago Diff Files
321
merged in branch fixing a minor change to the structure of t...
Jiri Srba 10 years ago Diff Files
320
updated README file
Jiri Srba 10 years ago Diff Files
319
updated README file
Jiri Srba 10 years ago Diff Files
318
added linux makefiles
Jiri Srba 10 years ago Diff Files
317
static binaries for windows
Jiri Srba 10 years ago Diff Files
316
fix in win32 makefile
Jiri Srba 10 years ago Diff Files
315
added win32 makefile
Jiri Srba 10 years ago Diff Files
314
added mac osx makefiles
Jiri Srba 10 years ago Diff Files