Commiting compilable .v code