Past due
Milestone
expired on May 17, 2019
Combined SHVM/DiSL server
Create new server, which will contain the functionality of DiSL Instrumentation as well as the functionality of SHVM
Assign some issues to this milestone.
Create new server, which will contain the functionality of DiSL Instrumentation as well as the functionality of SHVM