Merge branch 'pardis', remote-tracking branch 'origin/pardis' into pardis
a bug in apply virtualization solved