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.
Unstarted Issues (open and unassigned)
Ongoing Issues (open and assigned)
Completed Issues (closed)