Velo: Verifying maximum link loads in a changing world - View it on GitHub