Fixed bugs:
- #245: migrating an actor does not migrate its execution
+ PLATFORM:
+ - Rename FULLDUPLEX into SPLITDUPLEX (old name still accepted)
+
+ TRACING
+ - Remove unused run-time parameter "tracing/onelink-only".
+
SimGrid (3.18) Released December 24 2017
The "Ho Ho Ho! SimGrid 4 beta is coming to town" release.