WAVR4 (the original release) and RV.SYM (a branch of WAVR4 which has been parallelised using OpenMP) are in the repository.