VST version 2.8
Fix slow forward and Qed in case of many active locals
VST release 2.7
VST release X.Y, retag
VST release 2.6beta
Compiler Correctness for Concurrency 1.0
VST release 2.5
VST release 2.4
VST release 2.3
VST release 2.2