The verified software repository: a step towards the verifying compiler