← Back to branch summary

~verifydtapn-contributers/verifydtapn/win-compile

From Revision 342 to 323

expand all expand all

Rev   Summary Authors Date Diff Files
342
removed smart points due to problems on osx
Peter G. Jensen 6 years ago Diff Files
341
replace boost with stdlib for shared ptr
Peter G. Jensen 6 years ago Diff Files
340
replace boost with stdlib for shared ptr
Peter G. Jensen 6 years ago Diff Files
339
Merged
Peter G. Jensen 6 years ago Diff Files
338
added missing negation
Peter G. Jensen 6 years ago Diff Files
337
now using relative path for windows specific libraries
Peter G. Jensen 6 years ago Diff Files
336
fixed compilation for windows
Peter G. Jensen 6 years ago Diff Files
335
released version d3.2.0
Jiri Srba 8 years ago Diff Files
334
changed version number to 3.2 (PTrie in workflow analysis)
Jiri Srba 8 years ago Diff Files
333
merged in a big branch implementing PTrie for workflow analy...
Jiri Srba 8 years ago Diff Files
332
merged branch fixing trace issues with time darts (delay for...
Jiri Srba 8 years ago Diff Files
331
a new switch is added to report the maximum bounds for place...
Jiri Srba 8 years ago Diff Files
330
merged a fix for warning for refactoring workflow
Jiri Srba 8 years ago Diff Files
329
refactoring of the code for workflow analysis
Jiri Srba 8 years ago Diff Files
328
merged in branch fixing memory leaks
Jiri Srba 8 years ago Diff Files
327
merged in branch refactoring the use of PTrie
Jiri Srba 8 years ago Diff Files
326
changed version number to 3.1.3
Jiri Srba 8 years ago Diff Files
325
merges a branch fixing the size of strong soudndness checkin...
Jiri Srba 8 years ago Diff Files
324
updated makefiles for OSX for compatibility from MAC OSX 10....
Jiri Srba 8 years ago Diff Files
323
updated makefiles for mac os x
Jiri Srba 9 years ago Diff Files