Setting up a development copy of Dafny

These are steps to make a personal fork of the Dafny project from which you can make contributions to the source code:

• You must have a GitHub account. If you do not already have one, create one here.
• Make a personal fork of the Dafny project, by using the Fork button in the upper right of the project Code page.
• That will create a repo at https://github.com/your-user-name/dafny, where your-user-name is your GitHub user name.
• Then clone that personal repo into your local environment, such as by git clone https://github.com/your-user-name/dafny.git.
• Make sure you have the necessary tools and dependencies setup, as described on the wiki. In particular, the Dafny tool is written in C# and Dafny, so you will need tools for and be familiar with these languages.
• Edit files, build and test them locally on a branch of your choosing (except not the project master branch).
• Commit changes and push them to your personal fork of Dafny.
• Then, on the Dafny pull requests page, create a new PR (pull request) and request a review from a Dafny core team member.
• After iteration on comments from the reviewer, and approval by that reviewer, and successfully passing all of the CI tests (which are run automatically), you will be permitted by GitHub to merge the PR. You do that on the PR page for your pull request.