Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Change project name #501
What's your issue about?
ETH Zurich, a university in Switzerland, already has a programming language named Viper. On October 30th I was contacted by a member of their faculty with a request for us to change our name in order avoid potential confusion with the myriad of tools available for that project. Their project has the potential to target the Ethereum ecosystem for formal verification purposes, so a name change was important to them.
Over the past month we have discussed many possible name changes, including (for posterity):
In the end,
How can it be fixed?
In order to accomplish the name change, we need to do the following
Please list below if there are further concerns or comments/questions. This must be a concerted effort by our entire community in order to be successful.
For explaining the name change I think we should just tell the community what happened asap, though I think we're lucky in that people shouldn't get too confused going from