TRACE
- Remove viva specific tracing as the tool is no longer maintained
+ Fixed bugs:
+ - #248: Kill of finished MSG processes leads to segfault
+
SimGrid (3.17) Released October 8 2017
The Drained Leaks release: (almost) no known leaks despite the tests.